[Dept EEE] [Faculty of Engineering] [University of Melbourne]

Dr Jen Davoren

[ Research | Publications | Teaching | Academic qualifications | Links ]

Email:	davoren(at)unimelb.edu.au
Address:	Department of Electrical and Electronic Engineering Building 193 The University of Melbourne Victoria 3010 AUSTRALIA
Tel:	+61 3 8344 6874
Fax:	+61 3 8344 6678
Location:	Room 2.12, EEE Building (Building 193, university map ref J8)

Teaching at the University of Melbourne

2008	800-123 Logic: Language & Information	With Assoc Profs Greg Restall, Steven Bird, & Lesley Stirling, & Prof Greg Hjorth
2008	431-102 Digital Systems 1: Fundamentals
2007	431-221 Fundamentals of Signals and Systems	Lecturing with Assoc Prof Margreta Kuijper
2007	431-102 Digital Systems 1: Fundamentals
2006	431-221 Fundamentals of Signals and Systems	Lecturing with Assoc Prof Margreta Kuijper
2006	431-102 Digital Systems 1: Fundamentals	Lecturing with Assoc Prof Jamie Evans
2005	431-221 Fundamentals of Signals and Systems	Lecturing with Dr Jamie Evans
2005	431-102 Digital Systems 1: Fundamentals	Lecturing with Dr Jamie Evans
2004	431-221 Fundamentals of Signals and Systems	Lecturing with Dr Margreta Kuijper
2004	431-102 Digital Systems 1: Fundamentals	Lecturing with Dr Jamie Evans
2004	431-400 4th Year Projects	Co-coordinator with Dr Ba-Ngu Vo
2003	431-102 Digital Systems 1: Fundamentals	Lecturing with Dr Jamie Evans
2003	431-400 4th Year Projects	Co-coordinator with Dr Jamie Evans
2002	431-328 Digital Systems 3: Circuits & Systems	Lecturing with Dr Subhra Dey

Academic Qualifications

Doctor of Philosophy, Department of Mathematics, Cornell University, Ithaca, New York, USA, January 1998. PhD thesis: "Modal Logics for Continuous Dynamics". Advisor: Prof. Anil Nerode.

Master of Science, Department of Computer Science, Cornell University, Ithaca, New York, USA, May 1994.

Bachelor of Arts (Hons), Mathematics with Philosophy, The University of Melbourne, Victoria, Australia, March 1991.

Academic Appointments

Senior Lecturer, Department of Electrical and Electronic Engineering, The University of Melbourne: from July 2002.

Research Fellow, Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Institute of Advanced Studies, The Australian National University, Canberra, Australia: Sept 1999 - June 2002.

Postdoctoral Associate, Center for Foundations of Intelligent Systems, Dept of Mathematics, Cornell University, Ithaca, New York, USA: January 1998 - August 1999, with visiting postdoctoral positions at: University of California at Berkeley, Dept Electrical Engineering & Computer Science, Feb - April 1999 (sponsor: Prof. Shankar Sastry), and at The Australian National University, RSISE, Dept Systems Engineering, July - August 1999 (sponsor: Prof. B.D.O. Anderson).

Graduate Research Associate, Dept of Mathematics and Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA: June 1996 - Dec 1997 (supervisor: Prof Anil Nerode).

Instructor and teaching assistant, Dept of Mathematics, Cornell University, Ithaca, New York, USA: Aug 1995 - May 1996, and Aug 1991 - May 1995.

Research interests

Embedded control systems: digital hardware and software control components interacting with physical processes, and embedded within complex engineering systems, such as aircraft, cars, robots, manufacturing systems, medical devices.
-- Mathematical foundations: hybrid systems theory (mixed continuous-time & discrete-event dynamical systems); modeling and analysis of structure, behaviour and properties.
-- Formal methods: logic and automata-based formal methods for the design, verification and synthesis of digital, real-time and hybrid systems.
-- Computational tools: algorithms for, and implementations of, automated deduction and model-checking tools, and applications to automated synthesis of hybrid control programs.
-- Complex control architectures: modular, hierarchical and decentralised (multi-agent) control architectures for hybrid systems, and the application and extension of formal methods to them.

Computer science logics, particularly modal, temporal, and intuitionistic logics:
* relational, algebraic, topological, and categorical semantics;
* axiomatic, tableau, and Gentzen (sequent) proof systems;
* applications to the formal design and analysis of complex systems.
Particular interest in modal logic representations of dynamic and topological structure, of uncertainty and robustness, and of the knowledge of, and communication between, agents in distributed systems.

Some recent work

Davoren, J.M., Epstein, I.:
Topologies, convergence and uniformities in general hybrid path spaces. [PDF]

Preprint, 27 February 2008.

Davoren, J.M.

On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations. [PDF]

Submitted. Preprint January 2008.

Davoren, J.M., Tabuada, P.:
On Simulations and Bisimulations for General Flow Systems
In A. Bemporad et al. (eds.), Hybrid Systems: Computation and Control (HSCC 2007), LNCS 4416, pp. 145 - 158, Springer-Verlag, 2007. [PDF] Conference Slides. (© Springer-Verlag)

Davoren, J.M.:
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
In S. Artemov (ed.), Logical Foundations of Computer Science (LFCS 2007) , LNCS 4514, pp. 162 - 180, Springer-Verlag, 2007. [PDF] (© Springer-Verlag)

Davoren, J.M., Moor, T.:
Non-deterministic reactive systems, from hybrid systems and behavioural systems persepctives.
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06), Alghero, Sardinia, Italy, June 2006. [PDF]

Davoren, J.M., Moor, T., Gore, R.P., Coulthard, V., Nerode, A.:
On two-sided approximate model-checking: problem formulation and solution via finite topologies.
In R. Alur and G.J. Pappas (eds.), Formal Modelling and Analysis of Timed Systems - Formal Techniques in Real-Time and Fault Tolerant Systems (FORMATS-FTRTFT 2004)., LNCS 3253, Springer-Verlag, 2004. [PDF](© Springer-Verlag)

Davoren, J.M., Coulthard, V., Markey, N., Moor, T.:
Non-deterministic temporal logics for general flow systems.
In R. Alur and G.J. Pappas (eds.), Hybrid Systems: Computation and Control (HSCC 2004), LNCS 2993, pp. 280-295, Springer-Verlag, 2004. [PDF](© Springer-Verlag)

Moor, T., Raisch, J., Davoren, J.M.:
Admissibility criteria for hierarchical design of hybrid control systems.
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'03), Saint-Malo, France, June 2003. [PDF]

Moor, T., Davoren, J. M., Anderson, B.D.O.:
Robust hybrid control from a behavioural perspective,
Proc. 41st IEEE Conference on Decision and Control, pp. 1169-1174, Las Vegas, US, 2002. [PDF]

Davoren, J.M., Goré, R.P.:
Bimodal logics for reasoning about continuous dynamics.
In: F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (eds.), Advances in Modal Logic, Volume 3 (World Scientific, Singapore, 2002), pp. 91-110. [PDF]

Moor, T., Davoren, J.M., Raisch, J.:
Strategic refinements in abstraction based supervisory control of hybrid systems,
Proc. 6th International Workshop on Discrete Event Systems, pp. 329-334, Zaragoza, Spain, 2002. [PDF]

Davoren, J.M., Coulthard, V., Moor, T., Goré, R.P., Nerode, A.:
Topological semantics for Intuitionistic modal logics, and spatial discretisation by A/D maps,
Workshop on Intuitionistic Modal Logic and Aplications (IMLA), at The 2002 Federated Logic Conference (FLoC), Copenhagen, Denmark, 2002. [PDF]

Davoren, J.M., Moor, T., Nerode, A.:
Hybrid control loops, A/D maps, and dynamic specifications.
In C.J. Tomlin and M.R. Greenstreet (eds.), Hybrid Systems: Computation and Control (HSCC 2002), LNCS 2289, pp. 149-163, Springer-Verlag, 2002. [PDF](© Springer-Verlag)

Moor, T., Raisch, J., Davoren, J.M.:
Computational advantages of a two-level hybrid control architecture,
Proc. 40th IEEE Conference on Decision and Control, pp. 358-363,
Orlando, USA, 2001. [PDF]

Moor, T., Davoren, J.M., Raisch, J.:
Modular supervisory control of a class of hybrid systems in a behavioural framework,
Proc. Euproean Control Conference ECC2001, pp. 870-875.
Porto, Portugal, 2001. [PDF]

Moor, T., Davoren, J.M.:
Robust controller synthesis for hybrid systems using modal logic,
in Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds), Hybrid Systems: Computation and Control (HSCC 2001), LNCS 2034, pp. 433-446, Springer-Verlag, 2001. [PDF](© Springer-Verlag)

Davoren, J.M., Nerode, A.:
Logics for Hybrid Systems (invited paper).
Proceedings of the IEEE, vol. 88 no. 7 (2000), pp. 985-1010. [PDF]

Hazen, A.P., Davoren, J.M.:
Russell's 1925 Logic.
Australasian Journal of Philosophy, vol. 78 no. 4 (2000), pp. 534--556.[HTML]

Davoren, J.M.:
Topologies, Continuity and Bisimulations.
Theoretical Informatics and Applications, vol. 33 no. 4/5 (1999), pp. 357--381.[PDF]

Davoren, J.M.:
On Hybrid Systems and the Modal Mu-calculus.
In P.J. Antsaklis et al. (eds.), Hybrid Systems V, LNCS 1567, pp. 38-69, Springer-Verlag,1999. [PDF](© Springer-Verlag)

Recent technical reports

Moor, T., Raisch, J., Davoren, J.M.:
Admissibility criteria for a hierarchical design of hybrid control systems,
Technical Report, Department of Systems Engineering, RSISE,
Australian National University, 2002.

Coulthard, V., Davoren, J.M., Gore, R.P., Moor, T.:
Temporal logics of dynamical systems in discrete and dense time,
Technical Report, RSISE, Australian National University, 2002.

Moor, T., Raisch, J., Davoren, J.M.:
Efficient discrete abstractions of continuous dynamics in a hierarchical hybrid control architecture,
Technical Report, Department of Systems Engineering, RSISE,
Australian National University, 2001.

Davoren, J.M., Moor, T.:
Logic-based design and synthesis of controllers for hybrid systems,
Technical Report, Department of Systems Engineering, RSISE,
Australian National University, 2000.

Other links

Online Journals and other Resources:
Association of Computing Machinery digital library
IEEE Xplore resource page
IEEE Computer Society digital library
Springer-Verlag Lecture Notes in Computer Science
Acta Informatica
Annals of Mathematics
Annals of Pure and Applied Logic
Archive for Mathematical Logic
Automatica
IEEE Transactions on Automatic Control
Information and Computation
Journal of Logic and Computation
Journal of Logic, Language and Information
Journal of Symbolic Computation
Journal of Symbolic Logic
Logic Journal of the Interest Group in Pure and Applied Logics
Mathematics of Control, Signals, and Systems
Mathematical Logic Quarterly
Proceedings of the IEEE
Systems and Control Letters
Theoretical Computer Science
Theoretical Informatics and Applications

News, Weather and other information:
Weather forecasts for Australia
Telstra White Pages Australian telephone directories
Australian Broadcasting Corporation news bulletin
BBC World Service
The Melbourne Age
The Sydney Morning Herald
Higher Education Supplement in The Australian
The New York Times
The Independent, London

Author:  Jen Davoren
Last Modified:  5 March 2003
Disclaimer:  This page, its contents and style, are the responsibility of the author and do not represent the views, policies or opinions of The University of Melbourne.

[Dept EEE] [Faculty of Engineering] [University of Melbourne]