Results 1  10
of
91
Observability and Controllability of Piecewise Affine and Hybrid Systems
 IEEE Transactions on Automatic Control
, 1999
"... In this pap e we prove in a constructive way, the ee ale b e we e pie a#ne syste and a broad class of hybridsyste de e d by inte line dynamics, automata, and propositional logic. By focusing our inveon the forme class, we show through countethat obse ability and controllability prope rtie cannot b ..."
Abstract

Cited by 93 (14 self)
 Add to MetaCart
In this pap e we prove in a constructive way, the ee ale b e we e pie a#ne syste and a broad class of hybridsyste de e d by inte line dynamics, automata, and propositional logic. By focusing our inveon the forme class, we show through countethat obse ability and controllability prope rtie cannot be e asilydely from those of the comp tline subsyste Inste we propose practical nume te base onmixe te line programming. Keywords Hybrid syste controllability,obse ability, pie line syste pie a#ne syste mixe teline programming I. Introducti In recent yearsb oth control and computer science haveb een attractedb y hybridsystem [1], [2], [23], [25], [26],b ecause they provide a unified framework fordescribgARB( cesses evolving accordingto continuous dynamics, discrete dynamics, and logic rules. The interest is mainly motivatedb y the large variety of practical situations, for instance realtime systems, where physical processes interact with digital controllers. Several modelingformalisms h...
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 89 (29 self)
 Add to MetaCart
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
Optimal Paths in Weighted Timed Automata
 HSCC
, 2001
"... We consider an optimalreachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to a (parametric) shortestpath problem for a finite directed graph. The directed gr ..."
Abstract

Cited by 83 (5 self)
 Add to MetaCart
We consider an optimalreachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to a (parametric) shortestpath problem for a finite directed graph. The directed graph we construct is a refinement of the region automaton due to Alur and Dill. We present an exponential time algorithm to solve the shortestpath problem for weighted timed automata starting from a single state, and a doublyexponential time algorithm to solve this problem starting from a zone of the state space.
Effective Synthesis of Switching Controllers for Linear Systems
, 2000
"... In this work we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the sys ..."
Abstract

Cited by 78 (8 self)
 Add to MetaCart
In this work we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states, and propose an abstract algorithm which solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.
Distributed control applications within sensor networks
 IEEE PROCEEDINGS SPECIAL ISSUE ON DISTRIBUTED SENSOR NETWORKS
, 2003
"... Sensor networks are gaining a central role in the research community. This paper addresses some of the issues arising from the use of sensor networks in control applications. Classical control theory proves to be insufficient in modeling distributed control problems where issues of communication del ..."
Abstract

Cited by 69 (24 self)
 Add to MetaCart
Sensor networks are gaining a central role in the research community. This paper addresses some of the issues arising from the use of sensor networks in control applications. Classical control theory proves to be insufficient in modeling distributed control problems where issues of communication delay, jitter, and time synchronization between components are not negligible. After discussing our hardware and software platform and our target application, we review useful models of computation and then suggest a mixed model for design, analysis, and synthesis of control algorithms within sensor networks. We present a hierarchical model composed of continuous timetrigger components at the low level and discrete eventtriggered components at the high level.
A timedependent HamiltonJacobi formulation of reachable sets for continuous dynamic games
 IEEE Transactions on Automatic Control
, 2005
"... Abstract—We describe and implement an algorithm for computing the set of reachable states of a continuous dynamic game. The algorithm is based on a proof that the reachable set is the zero sublevel set of the viscosity solution of a particular timedependent Hamilton–Jacobi–Isaacs partial differenti ..."
Abstract

Cited by 52 (17 self)
 Add to MetaCart
Abstract—We describe and implement an algorithm for computing the set of reachable states of a continuous dynamic game. The algorithm is based on a proof that the reachable set is the zero sublevel set of the viscosity solution of a particular timedependent Hamilton–Jacobi–Isaacs partial differential equation. While alternative techniques for computing the reachable set have been proposed, the differential game formulation allows treatment of nonlinear systems with inputs and uncertain parameters. Because the timedependent equation’s solution is continuous and defined throughout the state space, methods from the level set literature can be used to generate more accurate approximations than are possible for formulations with potentially discontinuous solutions. A numerical implementation of our formulation is described and has been released on the web. Its correctness is verified through a two vehicle, three dimensional collision avoidance example for which an analytic solution is available. Index Terms—Differential games, Hamilton–Jacobi equations, reachability, verification.
Stochastic Hybrid Systems: Application to Communication Networks
 in Hybrid Systems: Computation and Control, ser. Lect. Notes in Comput. Science
, 2004
"... Abstract. We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a continuoustime Markov chains. However, the rate at which transitions occur is allowed to depend both on the continu ..."
Abstract

Cited by 51 (14 self)
 Add to MetaCart
Abstract. We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a continuoustime Markov chains. However, the rate at which transitions occur is allowed to depend both on the continuous and the discrete states of the SHS. Based on results available for PiecewiseDeterministic Markov Process (PDPs), we provide a formula for the extended generator of the SHS, which can be used to compute expectations and the overall distribution of the state. As an application, we construct a stochastic model for onoff TCP flows that considers both the congestionavoidance and slowstart modes and takes directly into account the distribution of the number of bytes transmitted. Using the tools derived for SHSs, we model the dynamics of the moments of the sending rate by an infinite system of ODEs, which can be truncated to obtain an approximate finitedimensional model. This model shows that, for transfersize distributions reported in the literature, the standard deviation of the sending rate is much larger than its average. Moreover, the later seems to vary little with the probability of packet drop. This has significant implications for the design of congestion control mechanisms. 1
Towards a geometric theory of hybrid systems
 In HSCC’00, number 1790 in LNCS
, 2000
"... Abstract. We propose a framework for a geometric theory of hybrid systems. Given a deterministic, nonblocking hybrid system, we introduce the notion of its hybrifold with the associated hybrid flow on it. This enables us to study hybrid systems from a global geometric perspective as (generally non ..."
Abstract

Cited by 36 (15 self)
 Add to MetaCart
Abstract. We propose a framework for a geometric theory of hybrid systems. Given a deterministic, nonblocking hybrid system, we introduce the notion of its hybrifold with the associated hybrid flow on it. This enables us to study hybrid systems from a global geometric perspective as (generally nonsmooth) dynamical systems. This point of view is adopted in studying the Zeno phenomenon. We show that it is due to nonsmoothness of the hybrid flow. We introduce the notion of topological equivalence of hybrid systems and locally classify isolated Zeno states in dimension two.
Impulse differential inclusions: A viability approach to hybrid systems
 IEEE Transactions on Automatic Control
, 2002
"... Abstract. Impulse differential inclusions are introduced as a framework for modelling hybrid phenomena. Connections to standard problems in area of hybrid systems are discussed. Conditions are derived that allow one to determine whether a set of states is viable or invariant under the action of an i ..."
Abstract

Cited by 35 (4 self)
 Add to MetaCart
Abstract. Impulse differential inclusions are introduced as a framework for modelling hybrid phenomena. Connections to standard problems in area of hybrid systems are discussed. Conditions are derived that allow one to determine whether a set of states is viable or invariant under the action of an impulse differential inclusion. For sets that violate these conditions, methods are developed for approximating their viability and invariance kernels, that is the largest subset that is viable or invariant under the action of the impulse differential inclusion. The results are demonstrated on examples. 1.