Jen Davoren

Sampling polynomial trajectories for LTL verification

Daniel Selvaratnam, Michael Cantoni, JM Davoren, Iman Shames

Journal article  |  2021  |  THEORETICAL COMPUTER SCIENCE

This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specification..

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

We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the nat..

Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

JM Davoren

Conference Proceedings  |  2009  |  HYBRID SYSTEMS: COMPUTATION AND CONTROL

We develop several generalized Skorokhod pseudo-metrics for hybrid path spaces, cast in a quite general setting, where the basic o..

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, Proceedings

We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the nat..

On simulations and bisimulations of general flow systems

JM Davoren, Paulo Tabuada

Conference Proceedings  |  2007  |  HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS

We introduce a notion of bisimulation equivalence between general flow systems, which include discrete, continuous and hybrid syst..

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

The synthesis of discrete event controllers for given continuous dynamics is studied within the hybrid system theory and its appli..

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

JM Davoren, T Moor

Conference Proceedings  |  2006  |  IFAC Proceedings Volumes (IFAC-PapersOnline)

A reactive system is an entity which takes as inputs signals from a certain set, and transforms them to produce as outputs signals..

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

W Hollier, C Burvill, J Davoren

Conference Proceedings  |  2005  |  Proceedings ICED 05, the 15th International Conference on Engineering Design

This investigation has correlated the architecture of self-assembling automata and geometric features with localised and specific ..

The design of self evolving behaviour: Self-evolution i

W Hollier, C Burvill, J Davoren

Conference Proceedings  |  2005  |  Proceedings ICED 05, the 15th International Conference on Engineering Design

Advanced mechanical technology capable of self-organization, self-assembly, self-replication (self evolving behaviour = SEB) facil..