Effective synthesis of switching controllers for linear systems
- 1 July 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 88 (7) , 1011-1025
- https://doi.org/10.1109/5.871306
Abstract
In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.Keywords
This publication has 40 references indexed in Scilit:
- Control-law synthesis for linear hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The synthesis of controllers for linear hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- A game theoretic approach to controller design for hybrid systemsProceedings of the IEEE, 2000
- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical MethodsPublished by Springer Nature ,2000
- Reach Set Computation Using Optimal ControlPublished by Springer Nature ,2000
- Discrete-time control for rectangular hybrid automataTheoretical Computer Science, 1999
- Orthogonal Polyhedra: Representation and ComputationPublished by Springer Nature ,1999
- On the synthesis of discrete controllers for timed systemsPublished by Springer Nature ,1995
- The Control of Dense Real-Time Discrete Event Systems,Published by Defense Technical Information Center (DTIC) ,1992