P Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV. Springer-Verlag, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... It is based on several ideas coming from computer science and gathered in the eld known as hybrid systems. It is at the intersection of applied and traditional mathematics. It is at the intersection of numerical analysis and computer algebra. Traditionally hybrid systems are presented [11, 6, 9, 7, 8] as systems with both discrete and continuous components. Some classical examples are automotive engines whose fuel injection can be seen as a continuous process regulated by some microprocessor (the discrete part of the system) robotic manufacturing systems , unmanned automated vehicles, air ....

....an hybrid system and some explanations about the concept, then we will concentrate on some hybrid computation issues that we are developing in the MASH (Mod elisation Alg ebrique et Syst emes Hybrides) project. The lack of place prevent us to introduce some direct applications (but see [10] 1] [11, 6, 9, 7, 8]) 3. THE BASIC DEFINITION De nition of hybrid systems [13, 5] A uniform closed hybrid system H is de ned by several sets and functions. 1. A nite set Q = fq1 ; qmg. Q represent the set of discrete states (or modes) of H. 2. A nite ordered set of variables X = fx1 ; xng, ....

P.Antsaklis, W.Kohn, A.Nerode, and S.Sastry, editors. Hybrid Systems IV, volume 1273. Springer-Verlag, 1997.

....model removes the dual use of external variables for discrete and continuous interaction. Preprint submitted to Elsevier Science 3 January 2003 1 Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that intermix discrete and continuous behavior [28,70,12,9,62,10,34,73,80,51,20]. Typical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

....model removes the dual use of external variables for discrete and continuous interaction. Preprint submitted to Elsevier Science 3 January 2003 1 Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that intermix discrete and continuous behavior [28,70,12,9,62,10,34,73,80,51,20]. Typical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

..... 54 7.3 Receptive HIOAs . 55 8 Conclusions 57 1 Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that exhibit a combination of discrete and continuous behavior [26, 66, 10, 7, 59, 8, 31, 69, 76, 48, 18]. Typ ical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

....HIOAs . 55 8 Conclusions 57 A Notational Conventions 64 1 Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that exhibit a combination of discrete and continuous behavior [26, 66, 10, 7, 59, 8, 31, 69, 76, 48, 18]. Typical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

..... 53 7.3 Receptive HIOAs . 54 8 Conclusions 56 I Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that exhibit a combination of discrete and continuous behavior [25, 64, 10, 7, 57, 8, 30, 67, 74, 47, 17]. Typ ical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

....HIOAs . 54 8 Conclusions 56 A Notational Conventions 63 1 Introduction 1. 1 Overview Recent years have seen a rapid growth of interest in hybrid systems systems that exhibit a combination of discrete and continuous behavior [25, 64, 10, 7, 57, 8, 30, 67, 74, 47, 17]. Typical hybrid systems include computer components, which operate in discrete program steps, and real world components, whose behavior over time intervals evolves according to physical constraints. Such systems are used in many application domains, including automated transportation, avionics, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV (Fourth International Conference on Hybrid Systems, Ithaca, NY, October 1996.

....context of the present contribution, approximation based approaches as discussed in [2,6,8,10,17] are most relevant. Control synthesis for linear hybrid systems, a class of systems that can be treated analytically, is described in [20] An overview of the general area of hybrid systems is given by [7,3,1,4] and [5] This paper is organized as follows: in Section 2, we recall basic definitions of Willems behavioural approach and treat state machines within this framework. In Section 3, we introduce l complete approximations and discuss how to realize them by finite past induced state machines. In ....

P.J. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems IV, LNCS, vol. 1273, Springer-Verlag, 1997.

....of inherent switching boundaries in the plant model to derive stabilizing controllers. Keywords: Hybrid Dynamical Systems, Nonlinear Stabilization 1 Introduction The study of Hybrid Dynamical Systems (HDS) has become pervasive in recent years as can be attested in the publications [1] 2] 3] [4]. These are systems that combine the dynamics of discrete (modeled as finite automatons) and continuous (modeled as nonlinear ODEs) systems. One reason for such an interest, as revealed in [7] is that many HDS models have super Turing capabilities. Intuitively, HDS are more powerful then ....

Panos Antsaklis, Editor. Hybrid systems IV. Springer-Verlag, Berlin (1997)

No context found.

P Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV. Springer-Verlag, 1997.

No context found.

P Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Springer-Verlag, 1997.

....obtain bisimulations of certain analytic vector fields on analytic manifolds. 1 Introduction Hybrid systems consist of finite state machines interacting with differential equations. Various modeling formalisms, analysis, design and control methodologies, as well as applications, can be found in [2 4, 10, 13]. The theory of formal verification is one of the main approaches for analyzing properties of hybrid systems. The system to be analyzed is first modeled as a hybrid automaton, and the property to be analyzed is expressed using a formula from some temporal logic. Then, model checking or deductive ....

P Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Springer-Verlag, 1997.

....the existence of bismimulations for certain classes of analytic vector fields. 1 Introduction Hybrid systems consist of finite state machines interacting with differential equations. Various modeling formalisms, analysis, design and control methodologies, as well as applications, can be found in [2, 3, 4, 8, 13]. Formal verification is one of the main approaches for analyzing properties of hybrid systems. The system is first modeled as a hybrid automaton, and the property to be analyzed is expressed using a formula from some temporal logic. Then, model checking or deductive algorithms are used to ....

P Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV. Springer-Verlag, 1997.

....model of the plant together with the interface using automata or Petri nets; the controller is then designed using DES supervisor methodologies. Approaches analogous to the former also exist. Further information on hybrid systems may be found in references [GRO 93] PNU 95] ANT 95] ALU 96] ANT 97] ANT 98a, b, c] MAL 97] MOR 97] HEN 98a] ZAY 98] 2.1. Modelling Approaches Several different mathematical paradigms have been used for modeling hybrid systems revealing the diversity of the researches. Tavernini [TAV 87] used differential automata, Nerode and Kohn [NER 93a] took an ....

ANTSAKLIS P., KOHN W., NERODE A., SASTRY S., Eds. Hybrid Systems IV, LNCS, Vol. 1273, Springer, 1997.

No context found.

P.J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems IV, LNCS 1273. Springer-Verlag, 1997.

....with the interface using automata or Petri nets; the controller is then designed using DES supervisor methodologies. Approaches analogous to the former also exist. Further information on hybrid systems may be found in references (Grossman et al. 1993; Antsaklis et al. 1995; Alur et al. 1996; Antsaklis et al. 1997; Antsaklis et al. 1998; Morse, 1997; Pnueli and Sifakis, 1995; Antsaklis and Nerode, 1998) 2.1 Modeling Approaches Different mathematical paradigms have been used for modeling hybrid systems revealing the diversity of the researches. Tavernini, 1987) used differential automata, Nerode and ....

....of safe states are used to construct an interface to the discrete domain that guarantees the safe operation of the combined hybrid system. This approach has been used in air traffic management (Tomlin et al. 1998) and in control of automated highway systems (Lygeros et al. 1998) Lemmon and Antsaklis, 1997) provide insight into the integration of timed automata and robust control methods for the control of complex dynamical systems. Recent results in the computer science and robust control communities are presented and the integration of these methods are used for studying the stability and bounded ....

[Article contains additional citation context not shown here]

Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., Eds.) (1997). Hybrid Systems IV. Lecture Notes in Computer Science. Springer.

....to obtain bisimulations of certain analytic vector fields on analytic manifolds. 1. Introduction Hybrid systems consist of finite state machines interacting with differential equations. Various modeling formalisms, analysis, design and control methodologies as well as applications can be found in [8, 3, 2, 11, 4]. The theory of formal verification is one of the main approaches for analyzing properties of hybrid systems. The system to be analyzed is first modeled as a hybrid automaton, and the property to be analyzed is expressed using a formula from some temporal logic. Then model checking or deductive ....

P Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Springer-Verlag, 1997.

....systems literature. The investigation of hybrid systems is creating a new and fascinating discipline bridging control engineering, mathematics and computer science; further information on hybrid systems may be found in references (Grossman et al. 1993; Antsaklis et al. 1995; Alur et al. 1996a; Antsaklis et al. 1997; Antsaklis et al. 1998; Morse, 1997; Antsaklis and Nerode, 1998) Hybrid control systems typically arise from the interaction of discrete planning algorithms and continuous processes, and as such, they frequently arise in the computer aided control of continuous processes in manufacturing, ....

....systems later in the paper. In sections 4 and 5 we discuss in detail two Petri net approaches to hybrid control; the first emphasizes stability while the second emphasizes the supervisory control of hybrid systems. Note that related work has appeared in (Lemmon and Bett, 1996; Koutsoukos and Antsaklis, 1997). 2 Petri Nets in Hybrid Control Systems Petri nets have been used extensively as tools for modeling, analysis and synthesis of discrete event systems. As it was discussed in the introduction, Petri net modeling formalisms offer advantages over finite automata, particularly when the issues of ....

[Article contains additional citation context not shown here]

Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., Eds.) (1997). Hybrid Systems IV. Vol. 1273 of Lecture Notes in Computer Science. Springer.

No context found.

P. Antsaklis, W. Kohn, A. Nerode, and A. Sastry, editors. Hybrid Systems IV, volume 1273 of LNCS. Springer-Verlag, 1997.

No context found.

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.). Hybrid Systems IV, volume 1273 of LNCS. Springer-Verlag, Berlin, 1997.

No context found.

Antsaklis, P. J., Kohn, W., Nerode, A. and Sastry, S., editors. 1997. Hybrid Systems IV, Lecture Notes in Computer Sciences, vol. 1273, Springer-Verlag.

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