J. Stiver, X. Koutsoukos, and P. Antsaklis, `An invariant based approach to the design of hybrid control systems', International Journal of Robust and Nonlinear Control, 11(5), 453--478, (2001). 154  Home/Search   Document Details and Download   Summary   Related Articles   Check

....mode. This type of synchronization is partial as the agents may need to synchronize their actions in certain locations of the state space, and can be completely free in other locations. The problem of controlling a hybrid system in order to achieve a discrete specification has been considered in [15], where supervisory control of hybrid systems is developed. In [2] the emphasis is placed on the com putation of discrete abstractions of the continuous dynamics that will allow the design of discrete controllers for the hybrid system. Other discrete approaches to the control of hybrid systems ....

J.A. Stiver, X. D. Koutsoukos, and P. J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453-478, April 2001. Special Issue on Hybrid Systems in Control.

....the structure permits programmed trade offs between computation and control quality. Research in hybrid systems, a class of dynamical systems that possess both continuous dynamics and discrete transitions, has produced a body of theories and algorithms for control analysis and synthesis [1, 3, 4, 8, 14, 18]. Phase space control systems form a special class of hybrid systems. The formal results obtained in hybrid systems research provide theoretical characterizations for the phase space control systems. We have focused on developing practical algorithms for synthesizing control actions for nonlinear ....

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon, "An invariant based approach to the design of hybrid control systems containing clocks." Hybrid Systems III, Lecture Notes in Computer Science, 1066, pp. 464--474, 1995.

....the structure permits programmed trade offs between computation and control quality. Research in hybrid systems, a class of dynamical systems that possess both continuous dynamics and discrete transitions, has produced a body of theories and algorithms for control analysis and synthesis [3, 8, 6, 7, 13, 20, 26]. Phasespace control systems form a special class of hybrid systems. The formal results obtained in hybrid systems research provide theoretical characterizations for the phase space control systems. We have focused on developing practical algorithms for synthesizing control actions for nonlinear ....

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems containing clocks. Hybrid Systems III, Springer-Verlag Lecture Notes in Computer Science, 1066:464-- 474, 1995.

.... is controlled by a PID controller equipped with selectors [2] if there are saturations present in the system, or as approximations of nonlinear systems obtained by system identification using hinging hyperplanes [5] Controller design and verification based on invariant sets has been studied in [7, 16, 8, 9, 17, 15, 18]. However, the continuous dynamics in the studied systems are either of very simple form (constant right hand sides or rectangular differential inclusions) or if more complex dynamics are considered the ability to use constructive methods are lost. This contribution is an attempt to allow ....

J. A. Stiver et al. An invariant based approach to the design of hybrid control systems containing clocks. In Hybrid Systems III -- Verification and Control, Lecture Notes in Comp. Science. Springer-Verlag, 1996.

....(d) Control I vs. time. The global, phase space controller is activated whenever the position or velocity of the ball deviates from the desired value significantly. When the system is within the capture region of the local control, the controller switches to the local control. Nerode Kohn 1993; Stiver, Antsaklis, Lemmon 1995). Phase space control systems form a special class of hybrid systems. The formal results obtained in hybrid systems research provide theoretical characterizations for the phase space control systems. We have focused on developing practical algorithms for synthesizing control actions for nonlinear ....

Stiver, J.; Antsaklis, P.; and Lemmon, M. 1995. An invariant based approach to the design of hybrid control systems containing clocks. Hybrid Systems III, Lecture Notes in Computer Science 1066:464--474.

No context found.

J. Stiver, P. Antsaklis, and M. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467--472, San Francisco, CA, 1996.

No context found.

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems containing clocks. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Hybrid Systems III, Veri#cation and Control, volume 1066 of Lecture Notes in Computer Science, pages 464#474. Springer, 1996.

No context found.

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approachto the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467#472, San Francisco, CA, 1996.

....approach rested with its attention to the interface between the continuous and discrete subsystems. Specifically, it was argued that an important aspect of hybrid control synthesis was to design interfaces in which the extracted DES plant accurately modeled the behavior of the continuous system [12]. Precisely what constitutes accurate modeling has been discussed in a variety of papers [83] 84] 85] 82] In most of these works it is essential that some property of the original continuous system (such as controllability or observability) is preserved under the discretization. Discrete event ....

J.S. Stiver, P.J. Antsakis, and M.D. Lemmon, An invariant based approach to the design of hybrid control systems, in Proceedings of the IFAC 13th Triennial World Congress, Vol. J, pp. 457-472, San Franciscio, CA, 1996.

....cannot be induced in finite quotient spaces by preserving the reachability properties [21] However, there are some cases when a mapping and the induced system # f can be computed. A special case arise when the mapping is defined using the natural invariants of the continuous dynamics [40]. However, it is very difficult to compute such partitions, and more importantly, the control specifications are not necessarily defined using the invariant sets of the system. 5.2 Hierarchical Control The solution we propose is to take advantage of the available control inputs in order to ....

J. Stiver, X. Koutsoukos, and P. Antsaklis. An invariant based approach to the design of hybrid control systems. Technical Report ISIS-2000-001, ISIS Group at the University of Notre Dame, February 2000. To appear in the International Journal of Robust and Nonlinear Control.

....it is used to obtain a controller design method. An alternative procedure for the design of the discrete event controller of this model is proposed by Oltean [OLT 98] Using the same model, a method for control design, based on the natural invariants of the continuous part, has been developed in [STI 96b] Tittus and Egardt [TIT 98] study control design for a class of hybrid systems with continuous dynamics described by pure integrators. Although this class of hybrid systems is very limited, these models are very important for control of batch processes. The paper introduces a notion of ....

STIVER J.A., ANTSAKLIS P.J., LEMMON M.D., "An invariant based approach to the design of hybrid control systems containing clocks". In: [ALU 96], p. 464-474.

....and we focus on specific problems for the interface design. Our approach leads to a systematic controller synthesis methodology that is illustrated in the paper using several examples. More details of the invariant based approach can be found in [22] Earlier versions of this work have appeared in [25, 24, 26]. This paper contains a complete 2 X h (x) 1 h (x) 2 h (x) 3 h (x) 4 Figure 2: Partition of the continuous state space time command signal t [1] c t [2] c t [3] c Figure 3: Command signal issued by the interface and self contained description of the approach including a computational ....

J. Stiver, P. Antsaklis, and M. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467--472, San Francisco, CA, 1996.

....can be incorporated in the application development using the proposed parallel architecture. Discrete event simulations are very useful for the evaluation of an intelligent control system at a level of abstraction where discrete event system models or event based control of hybrid systems are used [76, 77]. Discrete event system representations in intelligent control have been also used in [86] A discrete event simulation model 32 assumes that the system being simulated changes state only at discrete points in simulated time. When we choose to model a real world system using discrete event ....

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467--472, San Francisco, CA, 1996.

No context found.

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems containing clocks. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Hybrid Systems III, Verification and Control, volume 1066 of Lecture Notes in Computer Science, pages 464--474. Springer, 1996.

....from a subsystem to another, in a way that the state gradually progresses from one equilibrium to another towards the desired target equilibrium. For the hybrid systems of interest in this paper, this idea can be formalized using an invariant based approach to the design of hybrid systems [21, 22]. This approach introduces the notion of a common flow region , which is defined as the set of states which can be driven to the target region with the same control policy, and gives sufficient conditions for a set of invariant manifolds to bound common flow regions. In this paper, such invariant ....

....with it. The idea is to switch at discrete time instants from one symbolic input to another in a way that the system gradually progresses from one equilibrium to another towards the final equilibrium. This idea can be formalized using an invariant based approach for hybrid systems proposed in [21, 22]. A common flow region for a given target region, is defined as a set of states which can be driven to the target region with the same control policy. The approach as described by Stiver et al. considers common flow regions which are bounded by invariant hypersurfaces, cap boundaries and an exit ....

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467--472, San Francisco, CA, 1996.

....with it. The idea is to switch at discrete time instants from a symbolic input to another in a way that the system gradually progresses from one equilibrium to another towards the final equilibrium. This idea can be formalized using an invariant based approach for hybrid systems proposed in [17, 18]. A common flow region for given target region, is defined as a set of states which can be driven to the target region with the same control policy. Common flow regions are bounded by invariant manifolds and an exit boundary, so that the state trajectory can leave the common flow region only ....

J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, pages 467--472, San Francisco, CA, 1996.

No context found.

Stiver, J.A., P.J. Antsaklis and M.D. Lemmon (1996a). An invariant based approach to the design of hybrid control systems. In: IFAC 13th Triennial World Congress. Vol. J. San Francisco, CA. pp. 467--472.

No context found.

Stiver, J.A., P.J. Antsaklis and M.D. Lemmon (1996b). An invariant based approach to the design of hybrid control systems containing clocks. In: Hybrid Systems III, Verification and Control (Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag, Eds.). Vol. 1066 of Lecture Notes in Computer Science. Springer. pp. 464--474.

No context found.

Stiver, J.A., P.J. Antsaklis and M.D. Lemmon (1996a). An invariant based approach to the design of hybrid control systems. In: IFAC 13th Triennial World Congress. Vol. J. San Francisco, CA. pp. 467--472.

No context found.

J. Stiver, X. Koutsoukos, and P. Antsaklis, `An invariant based approach to the design of hybrid control systems', International Journal of Robust and Nonlinear Control, 11(5), 453--478, (2001). 154

No context found.

J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453--478, 2001.

No context found.

J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453--478, 2001.

No context found.

J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control, 11(5):453--478, 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC