Skip navigation
Skip navigation

Logics for Hybrid Systems

Davoren, Jennifer M.; Nerode, Anil

Description

Hybrid systems air he/erogenous dynamical systems cliaracterized by interacting continuous and discrete dynamics. Such mathematical mode's have proved fruitful in a great d:ersiry of engineering applications. Including air-traffic control, automated manufacturing, and cliemical process control. The high-profile and safely-critical nature of the application areas /'.as fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and...[Show more]

CollectionsANU Research Publications
Date published: 2000
Type: Journal article
URI: http://hdl.handle.net/1885/90224
Source: Proceedings of the IEEE
DOI: 10.1109/5.871305

Download

There are no files associated with this item.


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator