Jen Davoren

On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations

JM Davoren

Journal article  |  2009  |  Annals of Pure and Applied Logic

Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

JM Davoren

Conference Proceedings  |  2009  |  Lecture Notes in Computer Science. Hybrid Systems: Computation and Control.

Topologies and convergence in general hybrid path spaces

J DAVOREN, I Epstein

Conference Proceedings  |  2008  |  Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems

Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics

JM Davoren

Conference Proceedings  |  2007  |  Logical Foundations of Computer Science

On simulations and bisimulations of general flow systems

JM Davoren, Paulo Tabuada

Conference Proceedings  |  2007  |  Hybrid Systems: Computation and Control

Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives

JM Davoren, T Moor

Conference Proceedings  |  2006  |  Preprints of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS '06)

Learning by doing: systematic abstraction refinement for hybrid control synthesis

T Moor, JM Davoren, J Raisch

Journal article  |  2006  |  IEE Proceedings - Control Theory and Applications

Symmetry in geometric features and self-assembly: Self-evolution-II

W Hollier, C Burvill, J Davoren

Conference Proceedings  |  2005  |  Proceedings of the 15-th International Conference on Engineering Design ICED05

The design of self evolving behaviour: Self-evolution i

W Hollier, C Burvill, J Davoren

Conference Proceedings  |  2005  |  Proceedings of the 15-th International Conference on Engineering Design ICED05

Non-deterministic temporal logics for general flow systems

JM Davoren, V Coulthard, N Markey, T Moor

Conference Proceedings  |  2004  |  Hybrid systems: computation and control: proceedings of the 7th international workshop, HSCC 2004

On two-sided approximate model-checking: Problem formulation and solution via finite topologies

JM Davoren, T Moor, RP Gore, V Coulthard, A Nerode

Conference Proceedings  |  2004  |  Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint International conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 proceedings.

Admissibility Criteria for Hierarchical Design of Hybrid Control Systems

undefined Moor, undefined Raisch, J DAVOREN

Conference Proceedings  |  2003  |  Proceedings of IFAC Conference on Analysis and Design of Hybrid Control Systems

Robust hybrid control from a behavioural perspective

T Moor, JM Davoren, BDO Anderson

Conference Proceedings  |  2002  |  41st IEEE Conference on Decision and Control Proceedings

Strategic Refinements in Abstraction Based Supervisory Control of Hybrid Systems

undefined Moor, J DAVOREN, undefined Raisch

Conference Proceedings  |  2002  |  Proceedings of the 6th International Workshop on Discrete Events Systems

Hybrid Control Loops, A/D Maps, and Dynamic Specificiations

J DAVOREN, undefined Moor, undefined Nerode

Conference Proceedings  |  2002  |  Hybrid Systems: Computation and Control (HSCC 2002)

Bimodal Logics for Reasoning About Continuous Dynamics

J DAVOREN, undefined Gore

Book Chapter  |  2002

Robust Controller Synthesis for Hybrid Systems Using Modal Logic

J DAVOREN, undefined Moor

Conference Proceedings  |  2001  |  Hybrid Systems: Computation and Control

Computational Advantages of a Two-Level Hybrid Control Architecture

undefined Moor, undefined Raisch, J DAVOREN

Conference Proceedings  |  2001  |  Proceedings of the 40th IEEE Conference on Decision and Control

Modular Supervisory Control of a Class of Hybrid Systems in a Behavioural Framework

undefined Moor, J DAVOREN, undefined Raisch

Conference Proceedings  |  2001  |  Proceedings of the 2001 European Control Conference