Folgen
J. M. Davoren
J. M. Davoren
Bestätigte E-Mail-Adresse bei unimelb.edu.au
Titel
Zitiert von
Zitiert von
Jahr
Logics for hybrid systems
JM Davoren, A Nerode
Proceedings of the IEEE 88 (7), 985-1010, 2000
2052000
Modal logics and topological semantics for hybrid systems
S Artemov, J Davoren, A Nerode
Technical Report MSI 97-05, Cornell University, 1997
841997
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
472004
Robust controller synthesis for hybrid systems using modal logic
T Moor, JM Davoren
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
462001
Topologies, continuity and bisimulations
JM Davoren
RAIRO-Theoretical Informatics and Applications 33 (4-5), 357-381, 1999
391999
On hybrid systems and the modal µ-calculus
JM Davoren
Hybrid Systems V 5, 38-69, 1999
381999
Admissibility criteria for a hierarchical design of hybrid control systems
T Moor, J Raisch, JM Davoren
IFAC Proceedings Volumes 36 (6), 349-354, 2003
372003
Modal logics for continuous dynamics
JM Davoren
Cornell University, 1998
331998
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
242009
Bimodal logics for reasoning about continuous dynamics
JM Davoren, RP Gore
Advances In Modal Logic: Volume 3, 91-111, 2002
222002
On simulations and bisimulations of general flow systems
JM Davoren, P Tabuada
International Workshop on Hybrid Systems: Computation and Control, 145-158, 2007
202007
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
192001
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
192001
Epsilon-tubes and generalized skorokhod metrics for hybrid paths spaces
JM Davoren
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
182009
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
172006
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
142002
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
122002
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
122000
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
112007
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), 2002
112002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20