In this paper we propose a hierarchical control architecture for aggressive maneuvering applicable to autonomous helicopters. In order to reduce the computational requirements of the control problem to be solved to achieve aggressive trajectories, a hybrid system framework is used, which allows for a substantial reduction in the complexity of the system, as well as for guarantees on the stabili...

This paper investigates the problem of input-to-state stability (ISS) for the general discrete-time impulsive hybrid systems. Quasi-exponential input-to-state stability criteria are established for non-linear discrete-time impulsive hybrid systems, based on the Lyapunov function. The results are then specialized to the linear discrete-time impulsive hybrid systems and fairly simple algebraic co...

Hybrid and cyberphysical systems pose significant challenges for a formal development formalism based on pure discrete events. This paper compares the capabilities of (conventional) Event-B for modelling such systems with the corresponding capabilities of the Hybrid Event-B formalism, whose design was intended expressly for such systems. We do the comparison in the context of a simple water tan...

We consider a theoretical, but very general mathematical model of control systems, namely stochastic hybrid systems. Then we study how to define concurrency for these systems. Copyright c ©2005 IFAC

This paper studies the problem of stabilization with optimal performance for dissipative DIHS discrete-time impulsive hybrid systems . By using Lyapunov function method, conditions are derived under which the DIHS with zero inputs is GUAS globally uniformly asymptotically stable . These GUAS results are used to design feedback control law such that a dissipative DIHS is asymptotically stabilize...

In this paper we describe a coverage-guided test generation tool for hybrid systems. The tool has been successfully applied to a number of case studies in control systems and in analog and mixed-signal

The IEEE 802.14 standard committee is currently working on a project to find a costeffective means of providing access to integrated networks for people to enjoy multimedia programs and to work at home. An advanced system based on the CATV system called Hybrid Fiber Coax (HFC) is being studied. Since some properties of the HFC system preclude the possibility of directly using existing medium ac...

The IEEE 802.14 standard committee is currently working on a project to find a cost-effective means of providing access to integrated networks for people to enjoy multimedia programs and to work at home. An advanced system based on the CATV system called Hybrid Fiber Coax is being studied. Since some properties of the HFC system preclude the possibility of directly using existing medium access ...

The design of a look-ahead traffic-adaptive control system is as well a science as an art. Along the way compromises have to be made to end up with a workable system that is not only able to come up with good signal timings, but also to deliver them on time. We propose a taxonomy of look-ahead traffic-adaptive control algorithms based both on their underlying principles and the compromises that...

Embedded systems possess a hybrid structure, combining continuous-variable dynamics and logical decision-making. We study such real-world hybrid control systems and introduce a mathematical model of them. Then, we develop tools for analyzing their stability. Finally, we review the theory of optimal hybrid control and present algorithms for synthesizing optimal hybrid control systems.