1. Hybrid control for automotive engine management: The cut-off case;Balluchi,1998
2. A geometric approach to bisimulation and approxamte verification of hybrid systems;Broucke,1998
3. On the global controllability of hamiltonian and other nonlinear systems: fountain and recurrence;Caines,1998
4. Partition machines for hybrid systems with applications to air traffic management systems;Caines;Proceedings of AAAI Spring Symposium on Hybrid System,1999
5. Hierarchical hybrid control systems: A lattice theoretic formulation;Caines;IEEE Transactions on Automatic Control,1998