Synthesis and viability of minimally interventive legal controllers for hybrid systems (Q1272965)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis and viability of minimally interventive legal controllers for hybrid systems |
scientific article |
Statements
Synthesis and viability of minimally interventive legal controllers for hybrid systems (English)
0 references
7 March 1999
0 references
The publication covers the following topics: The synthesis of safety controllers (called here ``legal controllers''). Such controllers are not allowed to output specified configurations. The design of controllers which only interfere with the system when a constraint is violated. The comparison with other work. The conceptual discussion of hybrid machines, relying on allowed dynamics in a set of vertices in a graph, with allowed edge transitions. A graph theoretical control synthesis algorithm. A train-gate example.
0 references
design
0 references
safety controllers
0 references
hybrid machines
0 references
vertices in a graph
0 references
graph theoretical control synthesis
0 references
