Robust controller synthesis for hybrid systems using modal logic
Date
Authors
Moor, Thomas
Davoren, Jennifer M.
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Type
Book Title
Hybrid Systems: Computation and Control