Title :
Approximating quotient transition systems for hybrid systems
Author :
Chutinan, Alongkrit ; Krogh, Bruce H.
Author_Institution :
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
This paper concerns the theory for computational methods to construct finite-state approximations for hybrid systems for verification and supervisory control synthesis. The theory of bisimulation is extended to the case when the reachable-state mappings can only be approximated. New results for the flow pipe approximation method for computing approximations to reachable states for continuous dynamics are also presented. A previous technique for reducing the computational burden for linear systems is extended to the affine case and the approximation error is analyzed for the general case. In the concluding section, the reader is pointed to a Web site containing a complete implementation of the techniques described in this paper
Keywords :
bisimulation equivalence; computational complexity; finite state machines; linear systems; approximation error; bisimulation; computational burden reduction; computational methods; finite-state approximation construction; flow pipe approximation method; hybrid systems; linear systems; quotient transition system approximation; reachable-state mappings; supervisory control synthesis; verification; Approximation error; Computational modeling; Control system synthesis; Error analysis; Labeling; Linear approximation; Linear systems; Logic; Supervisory control;
Conference_Titel :
American Control Conference, 2000. Proceedings of the 2000
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-5519-9
DOI :
10.1109/ACC.2000.879489
