MIE News Filler

Congratulations to Prof Matthew Bolton on receiving the following NASA grant through University of Virginia. Matthew joined the MIE Department in August 2012.

Title: NEXTGENAA: Integrated Model Checking and Simulation of NextGen Authority and Autonomy
NASA Ames Research Center – University of Virginia – $77,931
Period: 10/1/12-10/31/13

NextGen systems are envisioned to be composed of human and automated agents interacting with dynamic flexibility in the allocation of authority and autonomy. The analysis of such concepts of operation requires methods for verifying and validating that the range of roles and responsibilities potentially assignable to the human and automated agents does not lead to unsafe situations. Agent-based simulation has shown promise toward modeling such complexity but requires a tradeoff between fidelity and the number of simulation runs that can be explored in a reasonable amount of time. Model checking techniques can verify that the modeled system meets safety properties but they require that the component models are of sufficiently limited scope so as to run to completion. By analyzing simulation traces, model checking can also help to ensure that the simulation’s design meets the intended analysis goals. Thus leveraging these types of analysis methods can help to verify operational concepts addressing the allocation of authority and autonomy.


You may also like

Robert Klie, Mohammad Asadi, Amin Salehi-Khojin and Fatemeh Khalili. UIC MIE COE
New design produces true lithium-air battery
Left: Dendrites forming on a lithium electrode. Right: Lithium plates uniformly on a lithium electrode in a battery with a graphene oxide nanosheet separator.
Graphene Oxide Nanosheets Could Help Bring Lithium-Metal Batteries to Market
High school students participating in the MIE summer camp
UIC Opens Registration for MIE Engineering Summer Camp


Leave a Reply