Multitask Synthesis of Hybrid Systems via Temporal Logic (Q6198406)
From MaRDI portal
scientific article; zbMATH DE number 7808186
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multitask Synthesis of Hybrid Systems via Temporal Logic |
scientific article; zbMATH DE number 7808186 |
Statements
Multitask Synthesis of Hybrid Systems via Temporal Logic (English)
0 references
22 February 2024
0 references
Boolean network (BN)
0 references
finite time stability
0 references
hybrid system
0 references
set dwell
0 references
signal temporal logic (STL)
0 references
