Modeling Autonomous Systems
Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control
Mikael Eklund
Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction
Jerry Ding
Metamodel-Based Metrics for Complexity of Using a DSML
A generic in-place transformation-based approach to structured model co-evolution
Bart Meyers
Time-Triggered Buffers for Event-Based Middleware Systems
Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle
Diyang Chu
Synthesizing Executable Simulations from Structural Models of Component-Based Systems
Andreas Schuster
Model-based design: a report from the trenches of the DARPA Urban Challenge