| Logics for hybrid systems JM Davoren, A Nerode Proceedings of the IEEE 88 (7), 985-1010, 2000 | 209 | 2000 |
| Modal logics and topological semantics for hybrid systems S Artemov, J Davoren, A Nerode Technical Report MSI 97-05, Cornell University, 1997 | 87 | 1997 |
| Non-deterministic temporal logics for general flow systems JM Davoren, V Coulthard, N Markey, T Moor International Workshop on Hybrid Systems: Computation and Control, 280-295, 2004 | 47 | 2004 |
| Robust controller synthesis for hybrid systems using modal logic T Moor, JM Davoren Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 46 | 2001 |
| Topologies, continuity and bisimulations JM Davoren RAIRO-Theoretical Informatics and Applications 33 (4-5), 357-381, 1999 | 39 | 1999 |
| On hybrid systems and the modal µ-calculus JM Davoren Hybrid Systems V 5, 38-69, 1999 | 38 | 1999 |
| Admissibility criteria for a hierarchical design of hybrid control systems T Moor, J Raisch, JM Davoren IFAC Proceedings Volumes 36 (6), 349-354, 2003 | 37 | 2003 |
| Modal logics for continuous dynamics JM Davoren Cornell University, 1998 | 34 | 1998 |
| On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations JM Davoren Annals of Pure and Applied Logic 161 (3), 349-367, 2009 | 25 | 2009 |
| Bimodal logics for reasoning about continuous dynamics JM Davoren, RP Gore Advances In Modal Logic: Volume 3, 91-111, 2002 | 22 | 2002 |
| On simulations and bisimulations of general flow systems JM Davoren, P Tabuada International Workshop on Hybrid Systems: Computation and Control, 145-158, 2007 | 20 | 2007 |
| Computational advantages of a two-level hybrid control architecture T Moor, J Raisch, JM Davoren Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 19 | 2001 |
| Modular supervisory control of a class of hybrid systems in a behavioural framework T Moor, JM Davoren, J Raisch 2001 European Control Conference (ECC), 870-875, 2001 | 19 | 2001 |
| Epsilon-tubes and generalized skorokhod metrics for hybrid paths spaces JM Davoren Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009 | 18 | 2009 |
| Learning by doing: systematic abstraction refinement for hybrid control synthesis T Moor, JM Davoren, J Raisch IEE Proceedings-Control Theory and Applications 153 (5), 591-599, 2006 | 17 | 2006 |
| Robust hybrid control from a behavioural perspective T Moor, JM Davoren, BDO Anderson Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 2 …, 2002 | 14 | 2002 |
| Logic-based design and synthesis of controllers for hybrid systems JM Davoren, T Moor Dept. Syst. Eng, Aust. Nat. Univ., Canberra, ACT, Australia, Tech. Rep, 2000 | 13 | 2000 |
| Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics JM Davoren International Symposium on Logical Foundations of Computer Science, 162-179, 2007 | 12 | 2007 |
| Strategic refinements in abstraction based supervisory control of hybrid systems T Moor, JM Davoren, J Raisch Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 12 | 2002 |
| Topological semantics for intuitionistic modal logics, and spatial discretisation by A/D maps JM Davoren, V Coulthard, T Moor, RP Goré, A Nerode Workshop on Intuitionistic Modal Logic and Applications (IMLA), Copenhagen …, 2002 | 12 | 2002 |