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

....Extensions have been made to the Esterel language to include asynchronous computations [45] 1] New frameworks have also been developed to formally characterize heterogeneity in systems. The hybrid system theories integrate continuous time differential equations with discrete automata [5]. The charts (pronounced: star charts) formalism combines finite state machines with a variety of concurrent models of computation [32] New languages and tools emerge to support heterogeneous modeling approaches. The Moses framework [19] is being developed to support various event based models, ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry. Hybrid Systems II, volume LNCS 999. Springer-Verlag, 1995.

....to build complex systems. Multi paradigm modeling and design [6] 21] 24] 28] integrates heterogeneous modeling techniques to achieve scalable designs. Among heterogeneous modeling techniques, the integration of continuous and discrete dynamics has received attention in system theory [3][18] micro electromechanical devices and systems (MEMS) 29] computer aided design (CAD) 2] 5] 30] and automatic control [7] 31] among other communities. Two kinds of integration have been widely accepted by modeling and design theories and practices the mixed signal style that integrates ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (ed.), Hybrid Systems II, LNCS 999, Springer-Verlag, 1995.

....Due to large scale deployment of embedded processors in several physical systems, many of which are safety critical, automated tools for analysis of embedded control systems is becoming an important and challenging task. Much work has been done in the design and analysis of hybrid systems [14] [7], 4] 8] 17] This paper describes tools and techniques for performing formal analysis on hybrid models using a symbolic approach to represent states and manipulate these representations using formal techniques such as theorem provers and decision procedures. The attractive features of this ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.). Hybrid Systems II. Science.

....based languages. Both of the approaches attempt to come up with a unified model to capture semantically different components, but lack arbitrary nesting of heterogeneous models. One of the most remarkable efforts in mixing continuous and discrete dynamics is the study of hybrid systems [2]. Solid theoretical frameworks for modeling and analyzing hybrid systems are under rapid development [ 1, 4, 7, 10, 14] with applications in air traffic control, transportation systems, automotive, manufacturing systems, and electromechanical systems etc. 3, 16, 17] Nevertheless, a simulation ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (ed.), Hybrid Systems II, LNCS 999, Springer-Verlag, 1995.

....based languages. Both of the approaches attempt to come up with a unified model to capture semantically different components, but lack arbitrary nesting of heterogeneous models. One of the most remarkable efforts in mixing continuous and discrete dynamics is the study of hybrid systems [2]. Solid theoretical frameworks for modeling and analyzing hybrid systems are under rapid development [1, 4, 7, 10, 14] with applications in air traffic control, transportation systems, automotive, manufacturing systems, and electromechanical systems etc. 3, 16, 17] Nevertheless, a simulation ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (ed.), Hybrid Systems II, LNCS 999, Springer-Verlag, 1995.

....[24, 25] Both of these approaches attempt to come up with a unified model to capture semantically different components, and lack hierarchy for managing the complexity of a design. One of the most noticeable efforts in mixing continuous and discrete dynamics is the study of hybrid systems [2]. A solid theoretical framework for modeling and analyzing hybrid systems is under rapid development [1, 4, 8, 10, 15] with applications in air traffic management, transportation systems, automotive, manufacturing systems, and electromechanical systems etc. 3, 6, 20, 21] Nevertheless, a ....

....efficient simulation strategy, and a practical implementation of it within a component based multi model design environment. L 6 References [1] R. Alur, T. Henzinger, G. Lafferriere, and G.J. Pappas, Discrete Abstractions of Hybrid Systems, Submitted to the Proceedings of the IEEE, 1999. [2] P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (ed. Hybrid Systems II, LNCS 999, Springer 1995. 3] A. Balluchi, M.D. Di Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni Vincentelli, Hybrid control in automotive applications: the cut off control, Automatica, vol.35, no.3) March 1999, ....

[Article contains additional citation context not shown here]

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (ed.), Hybrid Systems II, LNCS 999, Springer 1995.

....to pack infinitely many discrete steps in a bounded interval of time. 1 Introduction This research was initially motivated by recent attempts to apply program verification methodology to hybrid dynamical systems, i.e. systems combining discrete and continuous components (see, for example, 1] [2]) In [3] we have introduced PCD systems, a sub class of the so called linear hybrid automata of [1] In such systems, Euclidean space is partitioned into convex polyhedra ( regions ) and a constant slope is assigned to every region. We have shown in [3] that for two dimensional PCD systems the ....

P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (Eds.), "Hybrid Systems II", Lecture Notes in Comput. Sci., Vol. 999, Springer, 1995.

....the requirements of a hybrid methodology. There are several references that consider a number of perspectives and issues related to hybrid systems. For example, Benveniste and Berry 1991) Alur and Henzinger 1992) Branicky et al. 1994) Branicky 1996) Additionally, Grossman et al. 1993) (Antsaklis et al. 1995), Pneuli and Sifakis 1995) and (Alur et al. 1996) are comprehensive collections of articles focusing on a wide range of hybrid system topics. 2.1 Model Classes Hybrid models can be divided into the following four classes: Automata and Transition Systems (Aut) Ordinary Differential Equations ....

....that at each control step, a search over possible control actions be completed to arrive at a set of possible actions that will generate the desired behaviour. Stability ( Chase et al. 1993) Branicky 1994) Passino et al. 1994) Wicks et al. 1994) Dogruel and Ozguner 1994) Lemmon and Antsaklis 1995)) As a basic dynamical property, stability of hybrid systems is concerned, for the most part, with the boundedness of system states. The switching that is introduced either through discrete control action or through discrete modeled plant behaviour is the additional aspect that must be accounted ....

[Article contains additional citation context not shown here]

Antsaklis, P., Kohn, W., Nerode, A. and Sastry, S., (Eds.) (1995). Hybrid Systems II. Vol. 999 of Lecture Notes in Computer Science. Springer-Verlag.

....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 II, LNCS, vol. 999, Springer-Verlag, 1995.

.... computational models and methods, and automated reasoning tools supporting the formal specification and verification of performance requirements for hybrid systems, and the design and synthesis of control programs for hybrid systems that are provably correct with respect to formal specifications [20, 6, 3, 32, 7, 5, 21, 34, 9]. This paper o#ers an introduction to logics and formal methods for hybrid systems, and new work on the use of modal logics in the synthesis of hybrid systems direct from performance specifications. The paper is organized as follows. In section 2, we give a highlevel overview of contemporary work ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. LNCS 999. Springer-Verlag, 1995.

....or a manufacturing plant, a digital analog guidance of transport systems, control of a robot, flexible manufacturing systems, etc. can benefit from the study of hybrid models. Design, analysis (verification) and synthesis (control) of hybrid systems have been an important area of active research [GNRR93, AKNS95, AHS96]. In verification, an objective is to show that a given hybrid system will satisfy a certain (temporal) property and will never enter any unsafe state. In contrast, in synthesis, the focus is on designing a controller that ensures the given system will never enter in any unsafe state. The work ....

P. Antsaklis, W. Kohn, A. Nerode and S. Shastry (Eds.), Hybrid Systems II, LNCS, 999, Springer Verlag, 1995.

.... formal methods in discovering subtle errors in hardware designs (cf. CK96] a current trend is to investigate if these techniques can be generalized to obtain design aids for hybrid systems (the proceedings of the workshops on hybrid systems provide an excellent survey of emerging trends [GNRR93,AKNS95,AHS96,Mal97,HS98] The methodology advocated by formal approaches to system design requires construction of a high level description or a (mathematical) model of the system. The model can then be subjected to a variety of mathematical analyses such as simulation, model checking, and performance ....

P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. LNCS 999. Springer-Verlag, 1995.

....or a manufacturing plant, a digital analog guidance of transport systems, control of a robot, flexible manufacturing systems, etc. can benefit from the study of hybrid models. Design, analysis (verification) and synthesis (control) of hybrid systems have been an important area of active research [GNRR93, AKNS95, AHS96]. In verification, an objective is to show that a given hybrid system will satisfy a certain (temporal) property and will never enter any unsafe state. In contrast, in synthesis, the focus is on designing a controller that ensures the given system will never enter any unsafe state. The work ....

P. Antsaklis, W. Kohn, A. Nerode and S. Shastry (Eds.), Hybrid Systems II, LNCS, 999, Springer Verlag, 1995.

....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 ....

Panos Antsaklis, Wolf Kohn, Anil Nerode, Editors. Hybrid systems II. Springer-Verlag, Berlin (1995)

No context found.

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

No context found.

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

....stabilizing the vehicle since the on board inertial navigation system (INS) would still be able to provide altitude and attitude information for control. The resulting hierarchical control strategy which involves the interaction of continuous and discrete dynamics can be modeled as a hybrid system [1] for system analysis and controller synthesis [17, 11] In this paper, output tracking control of a helicopter model is investigated. The helicopter model is based on a UAV [13] being developed by the Berkeley Aerial Robot (BEAR) team at UC Berkeley. Helicopter control [19, 24] requires the ....

....respectively. R(#) exp(z#) exp(y#) exp(x#) 2.2) 2 4 c#c# s#s#c# c#s# c#s#c# s#s# c#s# s#s#s# c#c# c#s#s# s#c# s# s#c# c#c# 3 5 4 T. JOHN KOO, YI MA, AND S. SHANKAR SASTRY Figure 3. Coordinate frames for specifying rigid motions and forces acting on a helicopter. where x = [1 0 0] T , y = 0 1 0] T , z = 0 0 1] T and c#, s# are abbreviations for cos(#) and sin(#) respectively, and similarly for the other terms. By di#erentiating R with respect to time, we have the state equations of the Euler angles, # = # # #] T , which are # = #(#)# b = 2 4 1 s#t# c#t# 0 ....

[Article contains additional citation context not shown here]

Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors. Hybrid Systems II. Springer-Verlag, 1995.

No context found.

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

....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 II. Springer-Verlag, 1995.

....a discrete event 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 ....

ANTSAKLIS P., KOHN W., NERODE A., SASTRY S., Eds., Hybrid Systems II, LNCS, Vol. 999, Springer, 1995.

No context found.

P.J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds., Hybrid Systems II, LNCS 999. Springer-Verlag, 1995.

....a discrete event 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 (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) ....

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

....UAV development team, BEAR, has built an autonomous helicopter planning and control system based on the architecture of a Flight Vehicle Management System, FVMS. The resulting hierarchical control strategy which involves the interaction of continuous dynamics and discrete events is a hybrid system [3]. FVMS is responsible for resolving conflicts between air vehicle, planning of flight path, generating trajectory and sequence of flight modes, and regulating the flight vehicle along the trajectory. The FVMS interacts with a vision system which is responsible for detection and recognition ....

Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors. Hybrid Systems II. Springer-Verlag, 1995.

No context found.

P. Antsaklis, W. Kohn, A. Nerode, and A. Sastry, editors. Hybrid Systems II, volume 999 of LNCS. Springer-Verlag, 1995.

No context found.

Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S. (Eds.), "Hybrid Systems II", Springer Verlag, Heidelberg 1995.

First 50 documents

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