NEXT EVENT Spring 2026 GRASP SFI: Jay Patrikar, Field AI, “Exploiting Uncertainty…
Model Checking LTL over Controllable Linear Systems Is Decidable
Publisher Hybrid Systems: Computation and Control
Year 2003
Stable flocking of mobile agents, part I: fixed topology
Publisher IEEE Conference on Decision & Control
A Framework and Architecture for Multi-Robot Coordination
Publisher The International Journal of Robotics Research
Year 2002
Composing Abstractions of Hybrid Systems
Consistent abstractions of affine control systems
Publisher IEEE Transactions on Automatic Control
Discrete synchronization of hybrid systems
Publisher IEEE Conference on Decision and Control
Formation Input-to-State Stability
Publisher 15th IFAC World Congress
From Nonlinear to Hamiltonian via Feedback
Input-to-state stability on formation graphs
Modeling and analyzing biomolecular networks
Publisher Computing in Science & Engineering
