Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles
1162-1167
Proc. of the 14th IEEE Conference on Intelligent Transportation Systems
2011
Zonotope Bundles for the Efficient Computation of Reachable Sets
6814-6821
Proc. of the 50th IEEE Conference on Decision and Control
2011
Modeling, Design, and Simulation of Systems with Uncertainties
69-94
Rauh, A.;Auer, E.
Springer
2011
Reachable Set Computation for Uncertain Time-Varying Linear Systems
93-102
Hybrid Systems: Computation and Control
2011
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars
IEEE Transactions on Intelligent Transportation Systems
2011
12
4
1237-1247
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
Proc. of the Int. Conference on Computer Aided Design
2011
Energy-consistent, Galerkin approach for the nonlinear dynamics of beams using intrinsic equations
Journal of Vibration and Control
2011
17
11
1748-1758