profile icon
Dr

Jen Davoren

Honorary
Engineering and IT
science & technology
technology
computer science, theory & methods
computer science
systems
hybrid systems
automation & control systems
remote sensing
computer science, software engineering
Jen Davoren's Profile Picture
Dr

Jen Davoren

 
Division
Engineering and IT
Jen Davoren's Profile Picture
Dr

Jen Davoren

 
Print
Jen's  Short Profile
 

Projects

Displaying the 3 most recent projects by Jen Davoren.

Project icon

Mathematical, logical and computational foundations of hybrid control systems & their application to design & synthesis problems in control engineeri

Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time w..

Project icon

4TH YEAR PROJECT AGREEMENT - SOFTRONICS

Project icon

4TH YEAR PROJECT AGREEMENT - FORD

3

Projects

Project Types

2

Research Contracts

1

Research Grant

Scholarly Works

Displaying the 10 most recent scholarly works by Jen Davoren.

Scholarly works icon

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

Scholarly works icon

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.

Scholarly works icon

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

Scholarly works icon

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

JM Davoren

Conference Proceedings  |  2007  |  Logical Foundations of Computer Science

Scholarly works icon

On simulations and bisimulations of general flow systems

JM Davoren, Paulo Tabuada

Conference Proceedings  |  2007  |  Hybrid Systems: Computation and Control

Scholarly works icon

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)

Scholarly works icon

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

Scholarly works icon

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

Scholarly works icon

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

Scholarly works icon

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

19

Scholarly Works

Keyword Analysis

Computation Theory and Mathematics
Mathematics
Non-Oriented Research
Computer Software and Services
Design
Expanding Knowledge
Mechanical and Industrial Engineering
Applied Mathematics
Artificial Intelligence and Signal and Image Processing
Computer Hardware and Electronic Equipment

Credentials

Positions

Casual

Historical and Philosophical Studies

Casual

Historical and Philosophical Studies

Education

Doctor of Philosophy (Mathematics)

Cornell University

Master of Science

Cornell University

Bachelor of Arts (Honours) (Mathematics & Philosophy)

University of Melbourne