Control of Hybrid Systems using Qualitative Simulation

This paper presents a methodology for synthesizing, under uncertainty, a sequence of robust, discrete control actions to drive a continuous dynamical plant through admissible trajectories specified via temporal logic expressions . An action is defined as a modification to the value of a controllable exogenous variable . The TEQSIM algorithm combines qualitative simulation with temporal logic model checking to validate or refine a proposed plan . Qualitative simulation is used to infer a branching-time description of the system behaviors that potentially follow from a sequence of control actions . This description is queried using temporal logic based goal constraints to perform plan validation . Plan refinement infers bounds on the sequence of actions within a plan to guarantee that the specified goal constraints are satisfied . A framework for plan generation is presented that uses a phase portrait representation to reason about the effect of each action within a particular system configuration . This methodology is able to prune the plan search space by eliminating actions that are unable to resolve a detected goal violation .

[1]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..

[2]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[3]  A. John Mallinckrodt,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, at - Automatisierungstechnik.

[4]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[5]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[6]  Benjamin Kuipers,et al.  A Qualitative Method to Construct Phase Portraits , 1993, AAAI.

[7]  E. Bradley,et al.  Phase-space control system design , 1993, IEEE Control Systems.

[8]  James B. Rawlings,et al.  Nonlinear Model Predictive Control: A Tutorial and Survey , 1994 .

[9]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[10]  Thomas A. Henzinger,et al.  HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.

[11]  Giorgio Brajnik,et al.  Guiding and refining simulation using temporal logic , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[12]  Pieter J. Mosterman,et al.  A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models , 1996, AAAI/IAAI, Vol. 2.

[13]  Giorgio Brajnik,et al.  Temporal Constraints on Trajectories in Qualitative Simulation , 1996 .