Synthesis and viability of minimally interventive legal controllers for hybrid systems
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.
scientific article; zbMATH DE number 1228620