Author:Maximilian Gaukler
Keyphrasesabstraction, Cyber-Physical Systems, digital control, hybrid automata2, hybrid system, Jitter, reachability analysis, real-time system, real-time systems, safety verification, sampled-data control, verification. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |