6.43.28 Hybrid Control Systems1

ion: The process of ignoring irrelevant details in a complicated model, while preserving properties of interest. Automaton: A mathematical model for a discrete-state system. Composition: The process of interconnecting hybrid systems. Controller: Generates (control) signals that make a system behave in a desired way. Continuous-time system: Dynamic system defined by differential equations. Decidability: Guarantee of the existence of a terminating algorithm that solves a problem. Discrete-event system: A discrete-state system whose state evolution depends on asynchronous events. Discrete-time system: Dynamic system whose state evolution is synchronized by the system clock, often represented by a difference equation. Execution: Trajectory (or solution) of a hybrid automaton. Finite state machine: See Automaton. Hierarchical system: A multi-level system that decomposes a complex system into several levels. Hybrid controller: A controller that may generate both continuous-valued and symbolic control signals based on continuous-time and discrete-event dynamics. Hybrid system: Dynamical system with interacting continuous and discrete components. Hybrid automata: Mathematical model of a hybrid system. Quantizer: Component that discretizes an analogue signal. Reachability: The process of calculating the set that can be reached by the state through the evolution of the hybrid system. Run: See Execution. Timed automata: Hybrid automata with continuous dynamics given by clocks (integrators). Transition: A change from one state to another. Verification: Algorithmic process of analyzing whether a system satisfies a given specification. Zeno execution: An execution that takes infinitely many discrete transitions in a finite amount of time.