Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104): Difference between revisions
From MaRDI portal
Latest revision as of 04:51, 28 July 2024
scientific article; zbMATH DE number 7484607
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties |
scientific article; zbMATH DE number 7484607 |
Statements
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (English)
0 references
4 March 2022
0 references
hybrid systems
0 references
hybrid automata models
0 references
design automation
0 references
computational methods
0 references
computer simulation
0 references
0 references
0 references
0 references
0 references
0 references
