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
|
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
|