Results 1 - 10
of
287
Coverage Control for Mobile Sensing Networks
, 2002
"... This paper presents control and coordination algorithms for groups of vehicles. The focus is on autonomous vehicle networks performing distributed sensing tasks where each vehicle plays the role of a mobile tunable sensor. The paper proposes gradient descent algorithms for a class of utility functio ..."
Abstract
-
Cited by 582 (49 self)
- Add to MetaCart
This paper presents control and coordination algorithms for groups of vehicles. The focus is on autonomous vehicle networks performing distributed sensing tasks where each vehicle plays the role of a mobile tunable sensor. The paper proposes gradient descent algorithms for a class of utility functions which encode optimal coverage and sensing policies. The resulting closed-loop behavior is adaptive, distributed, asynchronous, and verifiably correct.
Dynamical Properties of Hybrid Automata
- IEEE Transactions on Automatic Control
, 2003
"... Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid ..."
Abstract
-
Cited by 147 (17 self)
- Add to MetaCart
(Show Context)
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results on existence, uniqueness, and continuity serve as a starting point for stability analysis. Lyapunov's theorem on stability via linearization and LaSalle's invariance principle are generalized to hybrid automated
A game theoretic approach to controller design for hybrid systems
- Proceedings of the IEEE
, 2000
"... We present a method to design controllers for safety specifications in hybrid systems. The hybrid system combines discrete event dynamics with nonlinear continuous dynamics: the discrete event dynamics model linguistic and qualitative information and naturally accommodate mode switching logic, and t ..."
Abstract
-
Cited by 126 (33 self)
- Add to MetaCart
(Show Context)
We present a method to design controllers for safety specifications in hybrid systems. The hybrid system combines discrete event dynamics with nonlinear continuous dynamics: the discrete event dynamics model linguistic and qualitative information and naturally accommodate mode switching logic, and the continuous dynamics model the physical processes themselves, such as the continuous response of an aircraft to the forces of aileron and throttle. Input variables model both continuous and discrete control and disturbance parameters. We translate safety specifications into restrictions on the system’s reachable sets of states. Then, using analysis based on optimal control and game theory for automata and continuous dynamical systems, we derive Hamilton–Jacobi equations whose solutions describe the boundaries of reachable sets. These equations are the heart of our general controller synthesis technique for hybrid systems, in which we calculate feedback control laws for
A Review of Conflict Detection and Resolution Modeling Methods
- IEEE Transactions on Intelligent Transportation Systems
, 2000
"... A number of methods have been proposed to automate air traffic conflict detection and resolution (CD&R), but there has been little cohesive discussion or comparative evaluation of approaches. This paper presents a survey of 68 recent CD&R modeling methods, several of which are currently in u ..."
Abstract
-
Cited by 111 (2 self)
- Add to MetaCart
A number of methods have been proposed to automate air traffic conflict detection and resolution (CD&R), but there has been little cohesive discussion or comparative evaluation of approaches. This paper presents a survey of 68 recent CD&R modeling methods, several of which are currently in use or under operational evaluation. A framework that articulates the basic functions of CD&R is used to categorize the models. The taxonomy includes: dimensions of state information (vertical, horizontal, or three-dimensional); method of dynamic state propagation (nominal, worst-case, or probabilistic); conflict detection threshold; conflict resolution method (prescribed, optimized, force field, or manual); maneuvering dimensions (speed change, lateral, vertical, or combined maneuvers); and management of multiple aircraft conflicts (pairwise or global). An overview of important considerations for these and other CD&R functions is provided, and the current system design process is critiqued.
A New Class of Decidable Hybrid Systems
- In Hybrid Systems : Computation and Control
, 1999
"... One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of lin ..."
Abstract
-
Cited by 109 (8 self)
- Add to MetaCart
One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of linear hybrid systems, which are introduced as hybrid systems with linear vector fields in each discrete location. This result is achieved by showing that any such hybrid system admits a finite bisimulation, and by providing an algorithm that computes it using decision methods from mathematical logic.
Feasible Formations of Multi-Agent Systems
- in Proceedings of the American Control Conference
, 2001
"... Formations of multi-agent systems, such as satellites and aircraft, require that individual agents satisfy their kinematic equations while constantly maintaining inter-agent constraints. In this paper, we develop a systematic framework for studying formations of multiagent systems. In particular, we ..."
Abstract
-
Cited by 86 (12 self)
- Add to MetaCart
Formations of multi-agent systems, such as satellites and aircraft, require that individual agents satisfy their kinematic equations while constantly maintaining inter-agent constraints. In this paper, we develop a systematic framework for studying formations of multiagent systems. In particular, we consider undirected formations for centralized formations and directed formations for decentralized formations. In each case, we determine differential geometric conditions that guarantee formation feasibility given the individual agent kinematics. Our framework also enables us to ex- tract a smaller control system that describes the formation kinematics while maintaining all formation con- straints.
Hierarchical Modeling and Analysis of Embedded Systems
, 2003
"... This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is ..."
Abstract
-
Cited by 78 (24 self)
- Add to MetaCart
(Show Context)
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination
Verified hybrid controllers for automated vehicles
- IEEE Transactions on Automatic Control
, 1998
"... Abstract — The objective of an Automated Highway System (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation. AHS is an example of a large scale, multiagent complex dynamical system and is ideally suited for a hierarchical hybrid con ..."
Abstract
-
Cited by 74 (23 self)
- Add to MetaCart
Abstract — The objective of an Automated Highway System (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation. AHS is an example of a large scale, multiagent complex dynamical system and is ideally suited for a hierarchical hybrid controller. We discuss the design of safe and efficient hybrid controllers for regulation of vehicles on an AHS. We use game theoretic techniques to deal with the multiagent and multiobjective nature of the problem. The result is a hybrid controller that by design guarantees safety, without the need for further verification. The calculations also provide an upper bound on the performance that can be expected in terms of throughput at various levels of centralization. Index Terms — Automated highway systems, game theory, safety. I.
Hybrid Bayesian Networks for Reasoning about Complex Systems
, 2002
"... Many real-world systems are naturally modeled as hybrid stochastic processes, i.e., stochastic processes that contain both discrete and continuous variables. Examples include speech recognition, target tracking, and monitoring of physical systems. The task is usually to perform probabilistic inferen ..."
Abstract
-
Cited by 69 (0 self)
- Add to MetaCart
Many real-world systems are naturally modeled as hybrid stochastic processes, i.e., stochastic processes that contain both discrete and continuous variables. Examples include speech recognition, target tracking, and monitoring of physical systems. The task is usually to perform probabilistic inference, i.e., infer the hidden state of the system given some noisy observations. For example, we can ask what is the probability that a certain word was pronounced given the readings of our microphone, what is the probability that a submarine is trying to surface given our sonar data, and what is the probability of a valve being open given our pressure and flow readings. Bayesian networks are
