Dr Jen Davoren
Honorary (Senior Fellow)
Department of Electrical and Electronic Engineering
21 Scholarly works
1 Projects
HIGHLIGHTS
2022
Journal article
Sampling polynomial trajectories for LTL verification
DOI: 10.1016/j.tcs.2021.10.0242022
Book Chapter
MITL Verification Under Timing Uncertainty
DOI: 10.1007/978-3-031-15839-1_82009
Journal article
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
DOI: 10.1016/j.apal.2009.07.0092009
Conference Proceedings
Epsilon-tubes and generalized Skorokhod metrics for hybrid paths spaces
DOI: 10.1007/978-3-642-00602-9_102008
Conference Proceedings
Topologies and convergence in general hybrid path spaces
2007
Conference Proceedings
Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics
DOI: 10.1007/978-3-540-72734-7_122007
Conference Proceedings
On simulations and bisimulations of general flow systems
DOI: 10.1007/978-3-540-71493-4_14
RECENT SCHOLARLY WORKS
2006
Journal article
Learning by doing: Systematic abstraction refinement for hybrid control synthesis
DOI: 10.1049/ip-cta:200503472006
Conference Proceedings
Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives
DOI: 10.3182/20060607-3-it-3902.000742005
Conference Proceedings
Symmetry in geometric features and self-assembly: Self-evolution-II
RECENT PROJECTS
Research Grant
Mathematical, Logical and Computational Foundations of Hybrid Control Systems & Their Application to Design & Synthesis Problems in Control Engineeri