#### Filter Results:

- Full text PDF available (433)

#### Publication Year

1982

2017

- This year (27)
- Last 5 years (182)
- Last 10 years (310)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Cell Type

#### Data Set Used

#### Key Phrases

#### Method

#### Organism

Learn More

- Rajeev Alur, TOM HENZINGER, Gerardo Lafferriere, George J. Pappas
- 2000

A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the properties being analyzed while hiding the details that are of no interest. We show that interesting classes of hybrid systems can be abstracted to purely discrete systems while… (More)

- Shan C Lin, Fei Miao, +6 authors George J. Pappas
- TOSN
- 2006

Extensive empirical studies presented in this article confirm that the quality of radio communication between low-power sensor devices varies significantly with time and environment. This phenomenon indicates that the previous topology control solutions, which use static transmission power, transmission range, and link quality, might not be effective in the… (More)

Air Traffic Management (ATM) of the future allows for the possibility of free flight, in which aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of trajectory conflicts between aircraft is necessary to the success of such a distributed control system. In this paper, we present a method to synthesize provably safe… (More)

- Herbert G. Tanner, Ali Jadbabaie, George J. Pappas
- IEEE Trans. Automat. Contr.
- 2007

The work of this paper is inspired by the flocking phenomenon observed in Reynolds (1987). We introduce a class of local control laws for a group of mobile agents that result in: (i) global alignment of their velocity vectors, (ii) convergence of their speeds to a common one, (iii) collision avoidance, and (iv) minimization of the agents artificial… (More)

This is the first of a two-part paper that investigates the stability properties of a system of multiple mobile agents with double integrator dynamics. In this first part we generate stable flocking motion for the group using a coordination control scheme which gives rise to smooth control laws for the agents. These control laws are a combination of… (More)

A uni ed approach to decidability questions for veri cation algorithms of hybrid systems is obtained by the construction of a bisimulation. Bisimulations are nite state quotients whose reachability properties are equivalent to those of the original in nite state hybrid system. In this paper, we introduce the notion of o-minimal hybrid systems, which are… (More)

This is the second of a two-part paper, investigating the stability properties of a system of multiple mobile agents with double integrator dynamics. In this second part, we allow the topology of the control interconnections between the agents in the group to vary with time. Specifically, the control law of an agent depends on the state of a set of agents… (More)

- Antoine Girard, George J. Pappas
- IEEE Trans. Automat. Contr.
- 2007

Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system observations to be identical. When interacting with the physical world, modeled by continuous or hybrid systems, exact relationships are restrictive and not robust. In this paper, we develop the first framework of system… (More)

- Rajeev Alur, Thao Dang, +7 authors Oleg Sokolsky
- Proceedings of the IEEE
- 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 exploited by analysis tools and is supported by a formal… (More)

- Stephen Prajna, Ali Jadbabaie, George J. Pappas
- IEEE Trans. Automat. Contr.
- 2007

This paper presents a methodology for safety verification of continuous and hybrid systems in the worst-case and stochastic settings. In the worst-case setting, a function of state termed barrier certificate is used to certify that all trajectories of the system starting from a given initial set do not enter an unsafe region. No explicit computation of… (More)