Hierarchically consistent control systems
Large-scale control systems, such as intelligent vehicle highway systems and air traffic management systems are systems of very high complexity. In order to reduce complexity, the system architecture is usually designed to have a hierarchical structure. In such a structure, systems of higher functionality reside at higher levels (higher layers) of the hierarchy and are unaware of unnecessary lower-level details. In performing their tasks, higher levels use a coarser system model than lower levels. One of the main challenges in designing hierarchical models is the extraction of the hierarchy of models at various levels of abstraction that are compatible with the functionality and objectives of each layer. Technically, this process is done by grouping the system states into equivalence classes. Depending on the cardinality of the resulting quotient space, one obtains discrete or continuous abstractions. The paper under review considers continuous abstractions. To be more specific: consider a control system \(\dot{x}=f(x,u),\) \(x \in {\mathbb{R}}^n,\) \(u \in {\mathbb{R}}^m,\) and some map \(y=h(x),\) where \(y \colon {\mathbb{R}}^n \rightarrow {\mathbb{R}}^p,\) \(p \leq n.\) Using a generalized version of \(\Phi-\)related vector fields to control systems, the authors managed to define a control system \(\dot{y}=g(y,v),\) \(y \in {\mathbb{R}}^p,\) \(v \in {\mathbb{R}}^k,\) which can produce as trajectories all functions of the form \(y(t)=h(x(t)),\) where \(x(t)\) is a trajectory of the system \(\dot{x}=f(x,u).\) (In other words, \(h\) maps trajectories of the system \(\dot{x}=f(x,u)\) to trajectories of the system \(\dot{y}=g(y,v).\)) The system \(\dot{y}=g(y,v)\) is called the abstraction or the macromodel of the finer micromodel \(\dot{x}=f(x,u).\) The most important issue involved in the abstraction is to ensure that certain properties propagate from the macromodel to the micromodel. In this paper, controllability requests are addressed. In particular, the authors characterize linear quotient maps \(y=Cx,\) so that a linear system \(\dot{x}=Ax+Bu,\) \(x \in {\mathbb{R}}^n,\) \(u \in {\mathbb{R}}^m,\) is controllable if and only if the abstracted linear system \(\dot{y}=Fy+Gv,\) \(y \in {\mathbb{R}}^p,\) \(v \in {\mathbb{R}}^k,\) is controllable. As a byproduct, the authors obtain a hierarchical controllability criterion for linear systems from which one can recover the best of the known controllability algorithms from numerical linear algebra. Matlab implementation of the two algorithms is included in the appendix.
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Abstractions of Hamiltonian control systems.
- Hierarchical control system design using approximate simulation
- Hierarchical analysis of large-scale control systems via vector simulation function
- scientific article; zbMATH DE number 4204199
- Hierarchical control system design using approximate simulation
- Abstractions of Hamiltonian control systems.
- Bisimilar linear systems.
- Morphisms of tautological control systems
- Dynamic hierarchical reactive controller synthesis
- Hierarchical trajectory refinement for a class of nonlinear systems
- Cost-extended control systems on Lie groups
- Vertical coalitions in hierarchical three-level control systems of fan-like structure
- Hierarchical analysis of large-scale control systems via vector simulation function
- Nonlinear norm-observability and simulation of control systems
- Local factorization of trajectory lifting morphisms for single-input affine control systems
- Construction and minimality of coordinated linear systems
- Bisimilar control affine systems
- Lifting of trajectories of control systems related by smooth mappings
- Controller synthesis for bisimulation equivalence
- Hierarchical control of discrete-event systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Bisimulation relations for dynamical and control systems
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- scientific article; zbMATH DE number 4191467 (Why is no real title available?)
- Hierarchical self-tracking control of two-machine system
- Bisimulations of Boolean Control Networks
- scientific article; zbMATH DE number 2171009 (Why is no real title available?)
- scientific article; zbMATH DE number 3995514 (Why is no real title available?)
- scientific article; zbMATH DE number 1822285 (Why is no real title available?)
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Input-output-to-state stability of systems related through simulation relations
- Controllability properties of nonlinear systems induced by lifting
- Simulation relations and controllability properties of linear and nonlinear control systems
- Contractibility of overlapping decentralized control
- Compositional analysis for linear systems
- Robust output feedback hierarchical control for a class of non-linear systems
- Hierarchically distributed optimization with a flexible and complexity-reducing algorithm
- Topology-aware planning under linear temporal logic constraints
- Resilient abstraction-based hierarchical control of linear systems
This page was built for publication: Hierarchically consistent control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507184)
