Hierarchies of stabilizability preserving linear systems
Publisher IEEE Conference on Decision and Control
Year 2001
Hybrid abstractions that preserve timed languages
Publisher Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
Mode Switching Synthesis for Reachability Specifications
Multi-agent hybrid system simulation
Multi-modal control of systems with constraints
Semi-decidable Synthesis for Triangular Hybrid Systems
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri
Symbolic Reachability Computation for Families of Linear Vector Fields
Publisher Journal of Symbolic Computation
