Tomlin, C., Pappas, G. J., and Sastry, S. 1998. Conflict resolution for air traffic management: a study in multi-agent hybrid systems. IEEE Transactions on Automatic Control 43(4):509--521.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....and phenomena (e.g. collision, emptying of tanks) whose most useful models are discrete. Systems that consist of a combination of discrete and continuous features are called hybrid systems, and they arise in many applications, such as chemical process control [68] air traffic management systems [111], robotics [6] and automobiles [18] During system design, formal verification and controller synthesis are two important issues. The goal of formal verification is to prove that the system performs as expected. As today s automated systems are growing in scale and complexity, the possibility of ....

....set is performed on the resulting approximate model (for which the reachability problem is decidable) This approach, like ours, can guarantee error bounds only for a finite time horizon. Finally, the reachability problem can be formulated using partial differential equations (see, e.g. [29, 111]) The reachable set ffi [0;t] F ) can be described as ffi [0;t] F ) fx j l(x; t) 0g where l : X Theta T R is the solution to the following equation: l t = Gammagrad(l) Delta f with the initial conditions: l(x; 0) 0 if x is on the boundary of F , l(x; 0) 0 if x is in the ....

C. Tomlin, J. Lygeros, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Trans. on Automatic Control, 43(4), 1998.

.... The classical control theory [Oga01] usually deals with continuous systems, while the AI community often focuses on discrete systems, usually modeled as Markov decision processes [Put94] Some work has been done on the problem of creating a control component for complex hybrid systems (e.g. TPS98, PS96] but the problem is still very much an open issue, especially if the state of the system is not fully known. 11.3 Conclusion It is our hope that this thesis demonstrates that hybrid (dynamic) Bayesian networks are a powerful tool for reasoning about complex and realistic domains. They ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509--521, April 1998.

....a parameterized class of animation systems. 1.2 Hybrid Systems and CHARON By definition, a hybrid system is one that combines continuous and discrete dynamics. Past domains of application for hybrid system models include de scriptions of biological processes [4] air traffic management systems [34, 27], and The mthcmaticl treatment in [19] admits a more complex representation of actors than the one we use. manufacturing systems [32] They occur frequently and naturally in many con texts and, because of this, they have received substantial attention by both computer scientists and control ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509 521, April 1998.

....area of hybrid systems. Hybrid systems combine both digital and analog systems, in a way that is useful for the analysis and design of distributed, embedded control systems. Many of the motivating applications, which include automated highway systems [16] and air traffic management systems [15], are safety critical, and require guarantees of safe operation. Consequently, much research focuses on computing reachable sets for hybrid systems to ensure that these systems avoid unsafe regions of the state space. In particular, in [9, 10, 11, 12] it has been shown that the reachable set of ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management : A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509--521, April 1998.

....the form of desired state of the plant or reference signals to track, etc. Remark 1. Hybrid control theory provides formal synthesis techniques which guarantee that aspects of system performance like safety, optimality (with respect to particular criteria) robustness, etc. will meet requirements [15]. On the other hand, schemes and abstract concepts that enable the designer to embed intelligence and provide a framework for managing interaction among multiple entities are within the purview of MAS. The HICA concept is predicated on the complementary features of these two fields. For a general ....

C.J. Tomlin, G.J. Pappas, and S. Sastry, "Conflict Resolution for Air Traffic Management: a Study in Multi-agent Hybrid Systems," IEEE Trans. Automatic Control, vol. AC 43, no. 4, pp. 509--521, April 1998.

....That is, they consist of simultaneous discrete and continuous behavior. The continuous behavior arises from the kinematics of the aircraft. The discrete behavior is an inherent aspect of any embedded digital system. Several approaches have been used in the literature to model hybrid systems (see [17]) Most of these approaches use extensions of finite state automata theory to handle state variables ranging over real numbers. Properties are then formalized as a reachability problem and proven by using model checking and theorem proving techniques. These techniques have been shown to be ....

C. Tomlin, G. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4), April 1998.

....successful solutions for the control of complex systems (including some formal results) have emerged in the literature, and that should not be missed as an important progress sign. Among those are autonomous small satellites mission control [Blan97] process operation [Astr86] air traffic control [Tom98], automated highways [Var93] and robotic task coordination [Wan93] 3. Future Research Directions and Open Issues There are many promising research directions in Control theory in general, and particularly in IC theory, as this is the field currently facing the most risk taking, advanced and ....

C. Tomlin, G. Pappas, S. Sastry, "Conflict Resolution for Air-Traffic Management: a Study in Multi-Agent Hybrid Systems", IEEE Trans. On Automatic Control, Vol. AC-43, No. 4, 1998

No context found.

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509--521, April 1998.

No context found.

C. Tomlin, G. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multiagent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 509--521, Apr. 1998.

....becomes more apparent (cf. 1] An embedded system consisting of sensors, actuators, plant, and control software is best viewed as a hybrid system. The relevance of hybrid modeling has been demonstrated in various applications such as coordinating robot systems [2] automobiles [3] aircraft [4], Manuscript received December 20, 2001; revised August 31, 2002. This work was supported in part by the Defense Advanced Research Projects Agency under Model Based Integrated Embedded Software Contract F33615 00 C 1707; in part by the Army Research Office under Contract DAAD19 01 1 0473; in part ....

C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in muti-agent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 509--521, Apr. 1998.

....I Introduction Large scale systems are usually compositions of smaller subsystems. Furthermore, as communication and computation becomes more powerful and inexpensive, the system architecture of modern large scale applications, such as automated vehicles [20] and air traffic control [18], becomes more and more decentralized. In order to address the fundamental complexity issues involved in the analysis and design of such systems, compositional approaches to modeling, analysis, and con 1This research is partially supported by the National Science Foundation Information Technology ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in mutiagent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509-521, April 1998.

....becomes more apparent (c.f [1] An embedded system consisting of sensors, actuators, plant, and control software is best viewed as a hybrid system. The relevance of hybrid modeling has been demonstrated in various applications such as coordinating robot systems [2] automobiles [3] aircrafts [4], and chemical process control systems [5] Model based design paradigm is partic ularly attractive because of its promise for greater design automation and formal guarantees of reliability. Traditionally, control theory and related engineering disciplines have addressed the problem of designing ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509-521, 1998.

....becomes more apparent (c.f [52] An embedded system consisting of sensors, actu ators, plant, and control software is best viewed as a hybrid system. The relevance of hybrid modeling has been demonstrated in various applications such as coordinating robot systems [ automobiles [12] aircrafts [68], and chemical process control systems [31] Model based design paradigm is particularly attractive because of its promise for greater design automation and formal guarantees of reliability. Traditionally, control theory and related engineering disciplines, have addressed the problem of designing ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509-521, 1998.

....D2 a collision sometime in the near future. To determine whether any two aircrafts are conflict free, we predict their paths along their primary routes for T minutes ahead (typically T 15 or 20 minutes) It is a straight forward computation to determine whether these paths are in conflict [12]. Larger values of T we result in more strategic conflict resolution, but at the price of higher complexity. Small values of T will make our routing decisions very myopic. In case we predict that the primary paths of two aircrafts will lead to a conflict in the next T minutes, it would be ....

Claire Tomlin, George J. Pappas, and Shankar Sastry. Conflict resolution for air traffic management: A study in mutt-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509 521, April 1998. 759

....all formation con straints. I Introduction Advances in communication and computation have enabled the distributed control of multi agent systems. This philosophy has resulted in next generation auto mated highway systems [9] coordination of aircraft in future air traffic management systems [8], as well as formation flying aircraft, satellites, and multiple mobile robots [2, 3, 7, 4] The control of multiple homogeneous or heterogeneous agents raises fundamental questions regarding the formarion control of a group of agents. Multi agent formations require individual agents to satisfy ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509-521, April 1998.

....and analog components in a way that is useful for the analysis and design of distributed, embedded control systems. Hybrid systems have been used as mathematical models for many important applications, such as automated highway systems [40] 50] 79] air traffic management systems [49] 51] [74], embedded automotive controllers [12] 59] manufacturing systems [64] chemical processes [28] robotics [6] 71] real time communication networks, and real time circuits Manuscript received October 1, 1999; revised April 14, 2000. This work was supported by DARPA under Grant ....

C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in muti-agent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, no. 4, pp. 509--521, April 1998.

....with possible cycles. 1 Introduction Advances in communication and computation have enabled the distributed control of multi agent systems. This philosophy has resulted in the next generation of automated highway systems [10] coordination of aircraft in future air traffic management systems [9], as well as formation flying aircraft, satellites, and multiple mobile robots [3, 4, 5, 6] The control of multiple homogeneous or heterogeneous agents raises fundamental questions regarding the formation control of a group of agents. Multi agent formations require individual agents to satisfy ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management : A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509--521, April 1998.

....of the embedded device as a whole. An embedded system consisting of sensors, actuators, plant, and control software is best viewed as a hybrid system. The relevance of hybrid modeling has been demonstrated in various applications such as coordinating robot systems [2] automobiles [6] aircrafts [29], and chemical process control systems [13] Early formal models for hybrid systems include phase transition systems [25] and hybrid automata [1] While modularity in hybrid specifications has been addressed in languages such as hybrid I O automata [24] Charon allows richer specifications. ....

C. Tomlin, G. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Trans. Automatic Control, 43(4):509-- 521, 1998.

....with possible cycles. 1 Introduction Advances in communication and computation have enabled the distributed control of multi agent systems. This philosophy has resulted in the next generation of automated highway systems [10] coordination of aircraft in future air traffic management systems [9], as well as formation flying aircraft, satellites, and multiple mobile robots [3, 4, 5, 6] The control of multiple homogeneous or heterogeneous agents raises fundamental questions regarding the formation control of a group of agents. Multi agent formations require individual agents to satisfy ....

C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management : A study in muti-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509--521, April 1998.

No context found.

Tomlin, C., Pappas, G. J., and Sastry, S. 1998. Conflict resolution for air traffic management: a study in multi-agent hybrid systems. IEEE Transactions on Automatic Control 43(4):509--521.

No context found.

Tomlin, C., Pappas, G. J., and Sastry, S. 1998. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control 43(4):509--521.

No context found.

C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multi-agent hybrid systems," IEEE Transactions on Automatic Control, vol. 43, no. 4, April 1998.

No context found.

C.Tomlin,G.J. Pappas,S. Sastry, Conflict Resolution for Air Traffic Management: A Study in Multiagent Hybrid Systems, IEEE Trans.Aut.Control, 43(4):509-521, April 1998

No context found.

C. Tomlin, J. Lygeros, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. In Trans. on Automatic Control, volume 43 of IEEE, 1998.

No context found.

Tomlin C., Pappas G. J., and Sastry S., Conflict resolution for air traffic management : A study in multi-agent hybrid systems, IEEE Transactions on Automatic Control, 43, 4 (1998), pp. 509--521. 24 Recent preprints

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC