University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR JEN DAVOREN



Contact Details

Organization: Electrical and Electronic Engineering
Position: SENIOR LECTURER (LEVEL C)
Email:
Homepage: http://www.ee.unimelb.edu.au/people/davoren/index.html
Work: 8344 6874
Fax: 8344 6678
Room: 212
Level: 02
Building: Electrical and Electronic Engineering
Campus: Parkville

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Arts (honours) University of Melbourne 31-Dec-1991
Master of Science Cornell University 31-Dec-1994
Doctor of Philosophy Cornell University 31-Dec-1998

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.

Grants

Title Role Funding Source Scheme Award Date
Mathematical, logical and computational foundations of hybrid control systems & their application to design & synthesis problems in control engineeri Chief Investigator AUST RESEARCH COUNCIL Discovery Projects 01/01/2003

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2009

Journal Articles

  • On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
    Year: 2009
    Journal: Annals of Pure and Applied Logic
    Volume: 161
    Issue: 3
    Page numbers: 349-367
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
    Year: 2009
    Event name: 12th International Conference on Hybrid Systems Computation and Control (HSCC 2009)
    Conference Publication: Lecture Notes in Computer Science. Hybrid Systems: Computation and Control.
    Volume: 5469
    Page numbers: 135-149
    Publisher: Springer-Verlag Heidelberg(Berlin)
    Author(s):

Publications in 2008

Conference Publications/Papers

  • Topologies and convergence in general hybrid path spaces
    Year: 2008
    Event name: 18th International Symposium on Mathematical Theory of Networks & Systems (MTNS '08)
    Conference Publication: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems
    Page numbers: 1-12
    Publisher: MTNS 2008(Blacksburg)
    Author(s):

Publications in 2007

Conference Publications/Papers

  • On Simulations and Bisimulations of General Flow Systems


    Year: 2007
    Event name: HSCC 2007
    Conference Publication: Hybrid Systems: Computation and Control
    Volume: 1
    Issue: 1
    Page numbers: 145-158
    Publisher: Springer-Verlag Heidelberg(Berlin)
    Author(s):
  • Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
    Year: 2007
    Event name: International Symposium on LFCS 2007
    Conference Publication: Logical Foundations of Computer Science
    Volume: 1
    Issue: 1
    Page numbers: 162-180
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2006

Journal Articles

  • Learning by doing: systematic abstraction refinement for hybrid control synthesis
    Year: 2006
    Journal: IEE Proceedings - Control Theory and Applications
    Volume: 153
    Issue: 5
    Page numbers: 591-599
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives
    Year: 2006
    Event name: 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS '06)
    Conference Publication: Preprints of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS '06)
    Page numbers: 409-416
    Publisher: International Federation of Automatic Control(Laxemburg)
    Author(s):

Publications in 2005

Conference Publications/Papers

  • Symmetry in geometric features and self-assembly: self-evolution-II
    Year: 2005
    Event name: 15-th International Conference on Engineering Design ICED05 - Engineering Design and the Global Economy
    Conference Publication: Proceedings of the 15-th International Conference on Engineering Design ICED05
    Page numbers: 1-15
    Publisher: Institution of Engineers Australia(Canberra)
    Author(s):
  • The design of self evolving behaviour: self-evolution-I
    Year: 2005
    Event name: 15-th International Conference on Engineering Design ICED05 - Engineering Design and the Global Economy
    Conference Publication: Proceedings of the 15-th International Conference on Engineering Design ICED05
    Page numbers: 1-15
    Publisher: Institution of Engineers Australia(Canberra)
    Author(s):

Publications in 2004

Conference Publications/Papers

  • Non-deterministic temporal logics for general flow systems
    Year: 2004
    Event name: 7th International Workshop, HSCC 2004
    Conference Publication: Hybrid systems: computation and control: proceedings of the 7th international workshop, HSCC 2004
    Page numbers: 280-295
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • On two-sided approximate model-checking: problem formulation and solution via finite topologies
    Year: 2004
    Event name: Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004
    Conference Publication: Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint International conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 proceedings.
    Page numbers: 52-67
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2003

Conference Publications/Papers

  • Admissibility Criteria for Hierarchical Design of Hybrid Control Systems


    Year: 2003
    Event name: ADHS 2003
    Conference Publication: Proceedings of IFAC Conference on Analysis and Design of Hybrid Control Systems
    Volume: 1
    Issue: 1
    Page numbers: 389-394
    Publisher: IFAC Technical Committee on Modeling, Identification and Signal Process
    Author(s):

Publications in 2002

Book Chapters

  • Bimodal Logics for Reasoning About Continuous Dynamics
    Year: 2002
    Book: Advances in Modal Logic
    Publisher: World Scientific Publishing Co
    Authors(s):

Conference Publications/Papers

  • Hybrid Control Loops, A/D Maps, and Dynamic Specificiations
    Year: 2002
    Event name: HSCC 2002
    Conference Publication: Hybrid Systems: Computation and Control (HSCC 2002)
    Volume: 1
    Issue: 1
    Page numbers: 433-446
    Publisher: Springer-Verlag, Journals(New York)
    Author(s):
  • Robust hybrid control from a behavioural perspective
    Year: 2002
    Event name: 41st IEEE Conference on Decision and Control
    Conference Publication: 41st IEEE Conference on Decision and Control Proceedings
    Page numbers: 1169-1174
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(New York)
    Author(s):
  • Strategic Refinements in Abstraction Based Supervisory Control of Hybrid Systems

    Year: 2002
    Event name: 6th International Workshop on Discrete Events Systems
    Conference Publication: Proceedings of the 6th International Workshop on Discrete Events Systems
    Volume: 1
    Issue: 1
    Page numbers: 1-6
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(Piscataway)
    Author(s):

Publications in 2001

Conference Publications/Papers

  • Computational Advantages of a Two-Level Hybrid Control Architecture


    Year: 2001
    Event name: CDC 2001
    Conference Publication: Proceedings of the 40th IEEE Conference on Decision and Control
    Volume: 1
    Issue: 1
    Page numbers: 358-363
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(Piscataway)
    Author(s):
  • Modular Supervisory Control of a Class of Hybrid Systems in a Behavioural Framework
    Year: 2001
    Event name: ECC 2001
    Conference Publication: Proceedings of the 2001 European Control Conference
    Volume: 1
    Issue: 1
    Page numbers: 870-875
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(Piscataway)
    Author(s):
  • Robust Controller Synthesis for Hybrid Systems Using Modal Logic
    Year: 2001
    Event name: 4th International Workshop on Hybrid Systems: Computation and Control
    Conference Publication: Hybrid Systems: Computation and Control
    Volume: 2034
    Issue: 1
    Page numbers: 433-442
    Publisher: Springer Verlag(Berlin)
    Author(s):
top of page