Logics for Hybrid Systems
-
Altmetric Citations
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]
Collections | ANU 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
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 19 May 2020/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator