Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Controller synthesis for dynamic hierarchical real-time plants using timed automata |
scientific article; zbMATH DE number 6833065
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Controller synthesis for dynamic hierarchical real-time plants using timed automata |
scientific article; zbMATH DE number 6833065 |
Statements
Controller synthesis for dynamic hierarchical real-time plants using timed automata (English)
0 references
31 January 2018
0 references
timed automata
0 references
controller synthesis
0 references
timed I/O automata
0 references
dynamic
0 references
timed process automata
0 references
hierarchical plants
0 references
compositional plants
0 references
reusable designs
0 references
state-space reduction technique
0 references
0.91586435
0 references
0.8898488
0 references
0.8842972
0 references
0.8819114
0 references
0.87492514
0 references
0.8669176
0 references
0.8660841
0 references
0.8654093
0 references
0.86372983
0 references
0.86241007
0 references
