Denotational Semantics and Verification of Hybrid Automata


The Nuffield Foundation Awards to Newly Appointed Lecturers NAL/32589, GPB 5,000


May 2006 - April 2008


A hybrid automaton is a digital, real-time system that continuously interacts with an analogue environment. Hybrid automata are ubiquitous in all areas of modern engineering and technology. They typically operate in safety critical areas, such as the highway control systems and air traffic control. The aim of the proposed research is to introduce a new approach, based on exact real number computation, to the algorithmic analysis of hybrid systems.


D Pattinson

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.