Denotational Semantics and Verification of Hybrid Automata

Funding:

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

Duration:

May 2006 - April 2008

Summary:

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.

People:

D Pattinson

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

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

Accessibility

DisabledGo logo

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