Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104)
From MaRDI portal
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
