Hybrid Control Loops, A/D Maps, and Dynamic Specifications
Loading...
Date
Authors
Davoren, Jennifer M.
Moor, Thomas
Nerode, Anil
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the Fifth International Workshop on Hybrid Systems: Computation and Control 2002