Optimal paths in weighted timed automata
Publisher Theoretical Computer Science
Year 2004
Abstractions of Hamiltonian control systems
Publisher Automatica
Year 2003
Bisimilar linear systems
Bisimulation Relations for Dynamical and Control Systems
Publisher Electronic Notes in Theoretical Computer Science
Hierarchical modeling and analysis of embedded systems
Publisher Proceedings of the IEEE
Model Checking LTL over Controllable Linear Systems Is Decidable
Publisher Hybrid Systems: Computation and Control
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
