Jennifer M. Davoren

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Publications

Jennifer M. Davoren
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. Ann. Pure Appl. Log. 161 (3) (2009)
Jennifer M. Davoren
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. HSCC (2009)
Jennifer M. Davoren
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. LFCS (2007)
Jennifer M. Davoren, Paulo Tabuada
On Simulations and Bisimulations of General Flow Systems. HSCC (2007)
Jennifer M. Davoren, Thomas Moor
Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives. ADHS (2006)
Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
Non-deterministic Temporal Logics for General Flow Systems. HSCC (2004)
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT (2004)
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
. ADHS (2003)
Thomas Moor, Jennifer M. Davoren, Brian D. O. Anderson
Robust hybrid control from a behavioural perspective. CDC (2002)
Jennifer M. Davoren, Thomas Moor, Anil Nerode
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC (2002)
Thomas Moor, Jennifer M. Davoren, Jörg Raisch
Modular supervisory control of a class of hybrid systems in a behavioural framework. ECC (2001)
Thomas Moor, Jennifer M. Davoren
Robust Controller Synthesis for Hybrid Systems Using Modal Logic. HSCC (2001)
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
Computational advantages of a two-level hybrid control architecture. CDC (2001)
Jennifer M. Davoren, Anil Nerode
Logics for hybrid systems. Proc. IEEE 88 (7) (2000)
Jennifer M. Davoren, Rajeev Goré
Bimodal Logics for Reasoning About Continuous Dynamics. Advances in Modal Logic (2000)
Jennifer M. Davoren
Topologies, continuity and bisimulations. RAIRO Theor. Informatics Appl. 33 (4/5) (1999)
Jennifer M. Davoren
On Hybrid Systems and the Modal µ-calculus. Hybrid Systems (1997)
Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode
Topological Semantics for Hybrid Systems. LFCS (1997)