Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

By a “hybrid system” we mean a system of continuous plants, subject to disturbances, interacting with sequential automata in a network. “Hybrid Control” is the name we give to control of continuous plants by digital sequential control automata, that is, by control programs implemented on sequential automata. We associate, without using any approximations, sequential automata with continuous plants, and use this to bring sequential control automata and continuous plants into automata networks which themselves are sequential automata modelling hybrid systems. To be useful, the control automaton's ability to control plant trajectories in a hybrid system should be maintained under small changes in control laws, disturbance, trajectory, measurement, etc. We formalize this notion of controllability and observability for hybrid systems by continuity of system functions, including the input-output function of the control automaton, in non-Hausdorff subtopologies of the usual topologies on spaces of controls, sensor data, plants, disturbances, target sets, etc. These subtopologies arise from the limited ability of digital programs to discriminate between continuous inputs. These notions are appropriate for any knowledge or rule based system where automated deduction interacts in real time with the external world. This topological approach was announced in [46]. (What we call “controllability and observability” here is what we called “stability” in [46] in order to correspond somewhat more closely to usage in the literature [3].)

[1]  A. Isidori.  Nonlinear Control Systems: An Introduction , 1986 .

[2]  W. Kohn,et al.  Declarative multiplexed rational controllers , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[3]  R. Grossman,et al.  Viewing hybrid systems as products of control systems and automata , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[4]  E. Bradley.  Control Algorithms for Chaotic Systems , 1991 .

[5]  Madan G. Singh,et al.  Dynamical Hierarchical Control , 1977 .

[6]  M. Schoppers,et al.  Automatic synthesis of perception driven discrete event control laws , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[7]  Benjamin C. Kuo,et al.  Digital Control Systems , 1977 .

[8]  H. Sussmann,et al.  Controllability of nonlinear systems , 1972 .

[9]  Anil Nerode,et al.  Distributed Concurrent Programs as Strategies in Games , 1993 .

[10]  V. Tikhomirov,et al.  Optimal Control , 1987 .

[11]  W. Kohn.  A declarative theory for rational controllers , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[12]  Wolf Kohn,et al.  Hierarchical control systems for autonomous space robots , 1988 .

[13]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[14]  S. Büchi.  The Life of J. Richard Büchi , 1990 .

[15]  H. P Nii,et al.  Blackboard Systems , 1986 .

[16]  I. Ekeland,et al.  Infinite-Dimensional Optimization And Convexity , 1983 .

[17]  Vladimir Yakhnis,et al.  Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies , 1990, Ann. Pure Appl. Log..

[18]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[19]  Robert McNaughton,et al.  Infinite Games Played on Finite Graphs , 1993, Ann. Pure Appl. Logic.

[20]  A. Nerode,et al.  Multiple agent autonomous hybrid control systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[21]  Marc H. Raibert,et al.  Legged Robots That Balance , 1986, IEEE Expert.

[22]  Mordechai Ben-Ari,et al.  Principles of concurrent programming , 1982 .

[23]  M. Mesarovic,et al.  Theory of Hierarchical, Multilevel, Systems , 1970 .

[24]  J. Guckenheimer,et al.  Simulation for hybrid systems and nonlinear control , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[25]  Robert S. Boyer,et al.  The use of a formal simulator to verify a simple real time control program , 1990 .

[26]  A. I. Subbotin,et al.  Game-Theoretical Control Problems , 1987 .

[27]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[28]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[29]  J. Warga.  Optimal control of differential and functional equations , 1972 .

[30]  Yuri Gurevich,et al.  Trees, automata, and games , 1982, STOC '82.

[31]  E. C. Richard,et al.  The collected works , 1954 .

[32]  Rufus Isaacs,et al.  Differential Games , 1965 .

[33]  A. Nerode,et al.  An autonomous systems control theory: an overview , 1992, IEEE Symposium on Computer-Aided Control System Design.

[34]  J. Hilgert,et al.  Lie groups, convex cones, and semigroups , 1989 .

[35]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

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

[37]  J. Warga.  Optimal Control of Ordinary Differential Equations , 1972 .

[38]  S. Sastry,et al.  Adaptive Control: Stability, Convergence and Robustness , 1989 .

[39]  A. Isidori.  Nonlinear Control Systems , 1985 .

[40]  A. Nerode,et al.  Some Stone spaces and recursion theory , 1959 .

[41]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[42]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[43]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[44]  W. Kohn,et al.  Class of hierarchical controllers and their blackboard implementations , 1990 .

[45]  R. B. Vinter,et al.  Convex analysis and optimization , 1982 .

[46]  A. Nerode,et al.  Concurrent Programs as Strategies in Games , 1992 .

[47]  L. Pontryagin.  ON THE THEORY OF DIFFERENTIAL GAMES , 1966 .

[48]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[49]  A. Friedman.  Differential games , 1971 .

[50]  Wolf Kohn,et al.  The Rational Tree Machine , 1989, Defense, Security, and Sensing.

[51]  A. Nerode,et al.  Modelling hybrid systems as games , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[52]  K. Mani Chandy.  Parallel program design , 1989 .

[53]  Donald E. Kirk,et al.  Optimal Control Theory , 1970 .

[54]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[55]  H. Penny Nii,et al.  Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures , 1986, AI Mag..