This paper derives a hybrid control law for an extended nonholonomic double integrator (ENDI) that captures the dynamics of a wheeled robot subject to force and torque inputs. A simple logic-based hybrid controller is proposed which yields global stability and convergence of the closed-loop system to an arbitrarily small neighborhood of the origin. This is achieved by mapping the state-space in...

In this paper, we consider a special class of hybrid systems with periodic time-triggered jump conditions, and in which the jump map has a piecewise linear character. This hybrid systems class forms a relevant field of study as different control applications can be modeled in this hybrid system framework, including reset control and event-triggered control systems. After showing the unifying mo...

Hybrid systems arise when the continuous and the discrete meet. Combine continuous and discrete inputs, outputs, states, or dynamics, and you have a hybrid system. Particularly, hybrid systems arise from the use of finite-state logic to govern continuous physical processes (as in embedded control systems) or from topological and network constraints interacting with continuous control (as in net...

ABSTR.ACT A case study of the difficulties associated with the design of hybrid control systems is presented. We use the Intelligent Vehicle Highway System (IVHS) architecture of [l] as our example of a hierarchical hybrid system. We point out that, even though conventional analysis tools suggest that the proposed design should fulfill certain performance requirements, the simulation results sh...

This paper discusses several recent results by the author and collaborators, which are united by the common goal of making nonlinear control theory more robust to imperfect information. These results are also united by common technical tools, centering around input-to-state stability (ISS), small-gain theorems, Lyapunov functions, and hybrid systems. The goal of this paper is to present an over...

In this paper we study the solution to optimal control problems for constrained discrete-time linear hybrid systems based on quadratic or linear performance criteria. The aim of the paper it twofold. First we give basic theoretical results on the structure of the optimal state feedback solution and of the value function. Second we describe how the state feedback optimal control law can be effic...

In this paper a brief overview of hybrid control systems is given and an introduction to several approaches in hybrid systems research with an extended list of references is presented.

This paper deals with the automated veriication of a class of task-control systems with periods, durations, and scheduling specii-cations. Such systems are translated into Periodic Hybrid Automata for veriication. We show that safety, liveness, and time-bounded properties are decidable for the considered systems.

Quantitative Feedback Theory (QFT) is employed to achieve time domain specifications on the tip position of a hybrid actuated single-link flexible manipulator. The manipulator payload conditions are varied to assess the robustness of the synthesised control system to parametric uncertainty. A combination of QFT multi input multi output (MIMO) design methods 1 (nonsequential) and 2 (sequential) ...

The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous, and subsequently, hybrid systems. Inspired by the categorical framework of Joyal, Nielsen and Winskel, we develop novel notions of bisimulation equivalence for dynamical systems as well as control systems. We prove that this notion can be captured by the abstract notion of bisimulat...