Wird geladen...
Modelling Hybrid Programs with Event-B
Hybrid systems are one of the most common mathematical models for Cyber-Physical Systems (CPSs). They combine discrete dynamics represented by state machines or finite automata with continuous behaviors represented by differential equations. The measurement of continuous behaviors is performed by se...
Gespeichert in:
| Veröffentlicht in: | Rigorous State-Based Methods |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Online Zugang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242062/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_10 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|