In this paper, we investigate pre-orders for reasoning about input-to-state stability properties of hybrid systems. We define the notions of uniformly continuous input simulations and bisimulations, which extend the notions in previous work to include inputs. We show that uniformly continuous input bisimulations preserve incremental input-to-state stability of hybrid systems, and thus provide a...

A fundamental question in systems and control theory concerns the characterization of the set of achievable closedloop systems for a given plant system and a controller system to be designed. This problem, for example, shows up in assessing the ’limits of performance’ of a controlled system. Similar problems have been studied by researchers in automata theory and discrete event systems replacin...

The information society is an economic reality, not an intellectual abstraction. Advanced Interaction Media (AIM) are becoming part of our every day life. Access to knowledge and assistance in knowledge processing are key factors in our changing society where people are provided with more information than before. With the increased automation of "intelligent systems", one might expect that huma...

A control scheme is proposed for stabilization of backward driving along simple paths for a miniaturized vehicle composed of a truck and a two-axle trailer. The paths chosen are straight lines and arcs of circles. When reversing, the truck and trailer under examination can be modeled as an unstable nonlinear system with state and input saturations. The simplified goal of stabilizing along a tra...

A case study of the difficulties encountered in the design of hierarchical, hybrid control systems is presented. As our example we use the Intelligent Vehicle Highway System (IVHS) architecture proposed for vehicle platooning, a system that involves both continuous state and discrete event controllers. We point out that even though conventional analysis tools suggest that the proposed design sh...

We consider in this paper switched systems, a class of hybrid systems recently used with success in various domains such as automotive industry and power electronics. We propose a state-dependent control strategy which makes the trajectories of the analyzed system converge to finite cyclic sequences of points. Our method relies on a technique of decomposition of the state space into local regio...

In this paper, we study Zeno behavior in Lagrangian hybrid systems, which are mechanical systems with unilateral constraints that are undergoing impacts. Zeno solutions involve an infinite number of impacts occurring in a finite amount of time (the Zeno time). In such systems, one is typically not able to explicitly compute the Zeno time and Zeno limit point, and even not to detect a Zeno solut...

We present a technique for reachability analysis of continuous multi-affine systems based on rectangular partitions. The method is iterative. At each step, finer partitions and larger discrete quotients are produced. We exploit some interesting convexity properties of multiaffine functions on rectangles to show that the construction of the discrete quotient at each step requires only the evalua...

In this paper, the disturbance attenuation properties for classes of linear hybrid systems perturbed by exterior disturbances are investigated, and a hybrid l robust optimal control problem is studied. First, a procedure is developed to determine the minimal l∞ induced gain of linear hybrid systems. However, for general hybrid systems, the termination of the procedure is not guaranteed. Then, t...

This contribution describes how disturbances in a control system can be isolated and diagnosed automatically based on plant topology. In order to demonstrate this, a prototype software has been designed and implemented which, when given an electronic process schematic of a plant and results from a data-driven analysis, allows the user to pose queries about the plant and to find root causes of p...