NEXT EVENT Spring 2026 GRASP SFI: Jay Patrikar, Field AI, “Exploiting Uncertainty…
Multi-agent hybrid system simulation
Publisher IEEE Conference on Decision and Control
Year 2001
Multi-modal control of systems with constraints
Semi-decidable Synthesis for Triangular Hybrid Systems
Publisher Hybrid Systems: Computation and Control
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
Consistent hierarchies of nonlinear abstractions
Year 2000
Decidable Controller Synthesis for Classes of Linear Systems
Discrete abstractions of hybrid systems
Publisher Proceedings of the IEEE
Semidecidable controller synthesis for classes of linear hybrid systems
