Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Hybrid Input/Output Automata"”.
-
Dynamic analysis of Cyber-Physical Systems
… verification. This thesis uses the framework of hybrid input output automata for modeling CPS. Formal verification of hybrid automata is undecidable in general. Because of the undecidability result, no algorithm is guaranteed to terminate for all models. This thesis focuses on developing …
-
Safety Analysis of Human Car-following Models
… called Modal car-following model (MCFM) based on Hybrid Input Output Automata (HIOA). It integrates an existing car-following model, such as IDM and OVM, with a human factor model which captures three distinct human factors. This work contributes to bridging the gap between civil and computer …
-
Mode identification using stochastic hybrid models with applications to conflict detection and resolution
… conflict detection logic gives rise to the hybrid nature of the overall system. The introduction of the probabilistic element, common to decision alerting and aiding devices, places the conflict detection and resolution problem in the domain of probabilistic hybrid phenomena. A hidden Markov …