MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A design framework for hierarchical, hybrid control (1997) [2 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by John Lygeros, Datta N. Godbole, Shankar Sastry
Machines and Robotic Laboratory, University of California, Berkeley
http://robotics.eecs.berkeley.edu/~lygeros/Publications/../Postscript/TAC_Design.ps
Add To MetaCart

Abstract:

Large scale systems are common in applications such as chemical process control, power generation and distribution and transportation systems, among others. Of particular interest are multi-agent, scarce resource problems, where a large number of agents have to make efficient use of a scarce resource. Here we try to approach the problem of large scale systems from a hierarchical, hybrid control view point. Our analysis is based on a new hybrid dynamical system formulation, that allows us to model large scale systems in a modular fashion. We primarily address the problem of controller design for multi-agent systems. A design procedure is proposed that naturally leads to hierarchical, hybrid control schemes, with continuous controllers trying to optimize each agent's resource utilization at a lower level and discrete controllers resolving inter-agent conflicts at a higher level. An algorithm is presented to design the continuous controllers, as well as abstractions of their performance in terms of the discrete level. The algorithm makes use of ideas from game theory, treating the design process as a two player, zero sum game, between the controller of an agent and the disturbance generated by the actions of other agents. The resulting abstractions can be thought of as guidelines for the design of the discrete layer. If the resulting continuous controllers are used and the discrete controller satisfies the guidelines, the closed loop hybrid system is, by design, guaranteed to exhibit the desired behavior. We demonstrate our algorithm by application to the automated vehicle following problem. 1

Citations

1451 A theory of timed automata – Alur, Dill - 1994
315 Temporal verification of reactive systems: Safety – Manna, Pnueli - 1995
271 Dynamic Noncooperative Game Theory – Basar, Olsder - 1982
228 What's decidable about hybrid automata – Henzinger, Kopke, et al. - 1995
189 Smart cars on smart roads: Problems of control – Varaiya - 1993
123 Hybrid models for motion control systems – Brockett - 1993
122 Conflict resolution for air traffic management: A study in multi-agent hybrid systems – Tomlin, Pappas, et al. - 1998
97 Models for hybrid systems: Automata, topologies, controllability, observability – NERODE, KOHN - 1993
78 An approach to the description and analysis of hybrid systems – Nicollin, Olivero, et al. - 1993
72 State-space solutions to standard H 2 and H1 control problems – Doyle, Glover, et al. - 1989
59 Hybrid system modeling and autonomous control systems – Antsaklis, Stiver, et al. - 1993
53 Viable control of hybrid systems – Deshpande, Varaiya - 1995
47 Optimal control theory – Berkovitz - 1974
43 Theory of Hybrid systems and Discrete event systems – Puri - 1995
41 A Verified Hybrid Controller for Automated Vehicles – Lygeros, Godbole, et al. - 1998
41 Longitudinal control of the lead car of a platoon – Godbole, Lygeros - 1994
28 Protocol design for an automated highway system – Hsu, Eskafi, et al. - 1993
25 A unified framework for hybrid control: Background, model and theory – Branicky, Borkar, et al. - 1994
23 Multiple agent hybrid control architecture – NERODE, KOHN - 1993
23 Topology of hybrid systems – Branicky - 1993
23 Theory and Implementation of Numerical Methods based on Runge-Kutta Integration for Solving Optimal Control Problems – Schwartz - 1996
21 Hierarchical Hybrid Control of Large Scale Systems – Lygeros - 1996
20 Sketch of an IVHS Systems Architecture – Varaiya, Shladover - 1991
19 Driving safely in smart cars – Puri, Varaiya - 1995
16 Cooperative cleaners: a study in ant robotics – Wagner, Bruckstein - 1995
13 Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems – Alur, Courcoubetis, et al. - 1993
11 Roadside intelligence for flow control in an IVHS – Rao, Varaiya - 1994
10 Casualties in accidents occuring during split and merge maneuvers," tech – Hitchcock - 1993
9 Temporal Veri cation of Reactive Systems: Safety – Manna, Pnueli - 1995
8 Differential Games – Lewin - 1994
7 Towards a fault tolerant AHS design – Lygeros, Godbole, et al. - 1995
6 Modeling and analysis of artificially intelligent planning systems," in An Introduction to Intelligent and Autonomous Control – Passino, Antsaklis - 1993
6 Formal verification of the patho real-time operating system – Balarin, Petty, et al. - 1994
6 Di erential Games – Lewin - 1994
5 Design and verification of coordination layer protocols for degraded modes of operation of AHS – Godbole, Lygeros, et al. - 1995
4 Optimal control approach to multiagent, hierarchical system verification – Lygeros, Godbole, et al. - 1996
4 Modeling and analysis of arti cially intelligent planning systems – Passino, Antsaklis - 1993
3 Hierarchical Hybrid Control of Automated Highway Systems – Godbole - 1994
3 Hybrid systems in air tra c control – Sastry, Meyer, et al. - 1995
3 Veri ed hybrid controllers for automated vehicles – Lygeros, Godbole, et al. - 1996
3 Roadside intelligence for ow control in an IVHS – Rao, Varaiya - 1994
2 Hybrid systems in air traffic control – Sastry, Meyer, et al. - 1995
2 Automated highway system tool interchange format." (preprint) California PATH – Deshpande, Godbole, et al. - 1996
2 SHIFT reference manual." (preprint) California PATH – Semenzato, Deshpande, et al. - 1996
2 Intelligent ight control systems – Stengel - 1992
2 A uni ed framework for hybrid control: Background, model and theory – Branicky, Borkar, et al. - 1994
2 Con ict resolution for air tra c management: A case study in multi-agent hybrid systems – Tomlin, Pappas, et al. - 1998
2 Formal veri cation of the PATHO real-time operating system – Balarin, Petty, et al. - 1994
2 Computer-Aided Veri cation – Alur, Henzinger - 1996
2 Design and veri cation of coordination layer protocols for degraded modes of operation of AHS – Godbole, Lygeros, et al. - 1995