Jennifer M. Davoren

According to our database, Jennifer M. Davoren authored at least 18 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

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

Jennifer M. Davoren

Ann. Pure Appl. Log., 2009

Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.

Jennifer M. Davoren

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2007

Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.

Jennifer M. Davoren

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

On Simulations and Bisimulations of General Flow Systems.

Jennifer M. Davoren, Paulo Tabuada

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives.

Jennifer M. Davoren, Thomas Moor

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2004

Non-deterministic Temporal Logics for General Flow Systems.

Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.

Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode

Proceedings of the Formal Techniques, 2004

2003

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems¹.

Thomas Moor, Jörg Raisch, Jennifer M. Davoren

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Hybrid Control Loops, A/D Maps, and Dynamic Specifications.

Jennifer M. Davoren, Thomas Moor, Anil Nerode

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Robust hybrid control from a behavioural perspective.

Thomas Moor, Jennifer M. Davoren, Brian D. O. Anderson

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Robust Controller Synthesis for Hybrid Systems Using Modal Logic.

Thomas Moor, Jennifer M. Davoren

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Modular supervisory control of a class of hybrid systems in a behavioural framework.

Thomas Moor, Jennifer M. Davoren, Jörg Raisch

Proceedings of the 6th European Control Conference, 2001

Computational advantages of a two-level hybrid control architecture.

Thomas Moor, Jörg Raisch, Jennifer M. Davoren

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

2000

Logics for hybrid systems.

Jennifer M. Davoren, Anil Nerode

Proc. IEEE, 2000

Bimodal Logics for Reasoning About Continuous Dynamics.

Jennifer M. Davoren, Rajeev Goré

Proceedings of the Advances in Modal Logic 3, 2000

1999

Topologies, continuity and bisimulations.

Jennifer M. Davoren

RAIRO Theor. Informatics Appl., 1999

1997

Topological Semantics for Hybrid Systems.

Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

On Hybrid Systems and the Modal µ-calculus.

Jennifer M. Davoren

Proceedings of the Hybrid Systems V, 1997