Lecture #2 How to describe a hybrid system? Formal models for hybrid system João P. Hespanha University of California at Santa Barbara Hybrid Control and. - ppt download
Guide for KeYmaera Hybrid Systems Verification Tool
Hybrid Automata Model of a Preemptively Scheduled Task. | Download Scientific Diagram
Hybrid Automaton - an overview | ScienceDirect Topics
Hybrid Automata obtained for the π -calculus process of Example 1. | Download Scientific Diagram
Bayesian hybrid automata: Reconciling formal methods with metrology
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces | ACM Transactions on Cyber-Physical Systems
Two example hybrid automata and their parallel composition | Download Scientific Diagram
Sensors | Free Full-Text | Modeling and Density Estimation of an Urban Freeway Network Based on Dynamic Graph Hybrid Automata