A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In Grossman et al. [8], pages 317--356.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....define the dynamics of the existing model elements including a precise model of time. The use of formal methods and models to describe hybrid systems has attracted quite a lot of attention in recent years, with a number of di#erent models and formalisms being proposed in the literature (see e.g. [2, 76, 20]) The concept of a hybrid statechart was first introduced by Pnueli in [60] Pnueli s model for hybrid statecharts is based on the statecharts presented by Harel and formalized as phase transition systems. However, all the activities represented in the statechart must be combined into a single ....

A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A.P. Revn, and H. Rischel, editors, Hybrid Systems I, volume Lecture Notes in Computer Science 736, pages 317--356. Springer-Verlag, 1993.

....# depends on the process and measurement noise. The transition probability matrix can be represented by the transformed guard conditions by equation (2. 4) It should be noted that the continuity of analog to digital maps based on covers of the state space has been studied using small topologies in [17]. 8 3 Particle Filtering for Hybrid State Estimation In the following, we briefly describe an algorithm for hybrid estimation based on particle filtering. In particle filters, complex integrals as that of equation (2.4) are computed e#ciently by approximating the belief state by finitely many ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Vol. 736, LNCS, 317--356. Springer-Verlag, 1993.

....of the plant, and control laws that may be continuous or discrete. There are different ap proaches to modeling of hybrid systems [18] The most general model was proposed by Branicky t al. 2] Of relevance to the work presented here are also the mod els of Brockerr [4] and of Kohn and Nerode [30]. Mo tion planning for hybrid systems is a difficult task and good methods are yet to be developed. The hybrid sys tems framework of Branicky t al. 2] is used to prove the existence of optimal motion plans. Computational techniques for finding optimal hybrid control based on dynamic programming ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, stability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid systems, pages 317 356. Springer-Verlag, New York, 1993.

....the implementation of a system. Furthermore, in DC we can adopt both a continuous semantics model and a sampling one. This seems to be useful in many cases. A hybrid control system is viewed as consisting of a control program and a physical plant interacting at discrete sampling times (see, e.g. [14, 15]) A design of a hybrid control system aims to derive a specification of the control program from a specification of the continuous behavior of the plant and the physical description of the system. The design is correct if, under the assumption of the behavior of the environment, the derived ....

A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, LNCS 736, 1993, pp. 317-356.

.... models and methodologies can be found in [4] The approach presented in this paper is directly related to supervisory control framework for hybrid systems [38, 39, 20] Similar approaches based on approximations of the continuous dynamics by a discrete event system have also been proposed in [31, 33, 12, 24]. The hybrid system model typically used in the supervisory control framework consists of a plant described by nonlinear differential or difference equations, a discrete event controller described by a deterministic finite automaton, and an interface which provides the means for the ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 317--356. Springer-Verlag, 1993.

....system satisfies its requirements specification. A constraint based dynamic system can be modeled by a constraint net, whose desired behavior can be specified by a 8 automaton. Some related work has also been done. Nerode and Kohn have proposed the notion of open specification for control systems [4]. Saraswat et al. have developed a family of timed concurrent constraint languages for modeling and specification of discrete dynamic systems [5] Problems on the specification and verification of hybrid dynamic systems have become a new challenge to both the traditional control systems design and ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes on Computer Science. Springer-Verlag, 1993.

....cases the same simulation is also used in post run analysis of the mission controller to determine the exact cause of any anomalies that may have occurred in the in water runs. As missions have become more complex the mission controllers have been implemented as hybrid intelligent controllers (Nerode and Kohn 1993), Passino and Ozguner 1991) Over the past decade ARL has pioneered the Prototype Intelligent Controller (PIC) architecture to create AUV mission controllers. PIC is a behavior based perception response system (Stover et al. 1996) Jarriel et al. 1999) Roeckel et al. 1999 ) with continuous ....

Nerode, A.and W. Kohn. 1993. Models for hybrid systems: automata, topologies, controllability, observability. In Hybrid Systems, vol. 736, Lecture Notes in Computer Science, A. Nerode and W.Kohn, Eds. Berlin: SpringerVerlag.

....case the abstracted behaviors are timed sequences of events and we seek an automaton reproducing these sequences. However, there are many problems in obtaining vector field conditions similar to those of Theorem 10. Some of these issues are topological and have been addressed in the literature [14, 15]. Furthermore, a more challenging problem is the following: Given an original system and a property of interest, find an abstracting map which preserves this property. Then checking the property at the abstracted system ensures us that original system has the property as well. This is very ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 317--356. Springer Verlag, New York, 1993.

....Geometry (LG) In the late 80s a similar view independently appeared within Nerode A. Yakhnis V. Yakhnis (NYY) approach to modeling concurrent systems [Yakhnis, A. 1989; Yakhnis, V. 1989; Nerode, Yakhnis, Yakhnis 1992, 1993] and, more recently, within the Nerode Kohn Yakhnis (NKY) approach [Kohn, Nerode 1993; Nerode, Remmel, Yakhnis 1993; Nerode, Yakhnis 1992] The two competing agents view requires us to always identify (or create) the competing agents, even if the original system does not include their explicit definition. For example, in chess the Opposing Agent is the player we are not rooting ....

....developed [Yakhnis, Yakhnis, in preparation] It is partially based of the NYY ideas. We also expect that the Linguistic Geometry would have more extensive applications to continuous systems via the Strategy Approach to Hybrid Systems developed by A. Nerode, W. Kohn, A. Yakhnis (NKY) and others [Kohn, Nerode 1993; Nerode, Remmel, Yakhnis 1993; Nerode, Yakhnis 1992] This is possible since the latter approach eventually converts continuous systems into discrete ones. 2. MULTI AGENT GRAPH GAMES 2.1. Origins of Multi Agent Graph Games We are going to generalize the alternating two player graph games by ....

Kohn, W., Nerode, A. (1993) Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, in Hybrid Systems, R. Grossman et al eds., Lecture Notes in Computer Science 736, Springer-Verlag, pp. 317-356, 1993.

....enabling conditions and any necessary reset of the continuous state that must take place when the transition occurs. We assume here that a jump always occurs when the transition condition is enabled. This model falls in several of the general hybrid systems frameworks proposed in the literature [7, 8, 9, 10, 11, 12, 13, 14, 15]. For simplicity we assume here that the PSfrag replacements queue not full: q = B P i w i BTp q 1 w i = aB BTp q tT = 0 queue full: q = 0 w i = aB BTp q tT = 1 q qmax and P i w i BTp q 1 tT : 0 tT Tp q B w i : mw i Figure 2: Hybrid model for ....

A. Nerode and W. Kohn, \Models for hybrid systems: Automata, topologies, stability," in Grossman et al. [19], pp. 317-356.

....a structuring concept for hybrid systems. The hybrid system is divided into a discrete part, a continuous part and an interface governing the interaction of the two. Similar structures, using an interface to couple the discrete and the continuous part, havebeenintroduced by[2] 3] 4] 5] [6], 7] and [8] In [2] a model for a computer disk driveispresented using an interface model. The continuous part and the interface are combined into a discrete event system whichisthencontrolled bya discrete, multi layered control structure containing supervisor, sequencer and user layer. ....

....control that combines the features of state machines with those of sampled data systems. The limitation of fixed sample intervals is circumvented by introducing a triggering signal. The frequency of this triggering signal in turn depends on the development of the system state. Nerode and Kohn [6] havedeveloped another formal model for hybrid systems. The model provides a framework to represent the interaction between the continuous and discrete portions of the system. Stability definitions based on continuity of system functions with respect to nonHausdorff finite subtopologies of the ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A.P.Ravn, and H. Rischel, editors, Theory of Hybrid Systems, pages 317--356. Springer-Verlag, 1993.

....induced by switching control signals. These systems possess both continuous dynamics within each region of a state space and discrete transitions among the regions. The control law within a region is often a simple linear control law. This class of dynamical systems are called the hybrid systems (Nerode and Kohn, 1993; Brockett, 1993; Back, Guckenheimer and Myers, 1993) This paper and several others define the dynamics of systems in terms of a polyhedral partition of state space and a simple linear flow defined within each polytope. The resulting system dynamics is locally linear, yet globally nonlinear. ....

Nerode, A., and W. Kohn (1993). Models for hybrid systems: automata, topologies, controllability, observability. In Hybrid Systems, Lecture Notes In Computer Science, 736, Springer.

....that this problem be used as a benchmark for analyzing the various formalisms, thus permitting comparisons and commonalities to emerge. As a first step towards this larger study, we investigate how one of the more well known hybrid systems formalisms that of Nerode and colleagues, detailed in [NK93] and [NY93] further described in [Bra93a] can be used to model and control the three tank system. Part of our goal is to give the mathematics of their work some physical interpretation. The problem we consider can be summarized as follows. There are three tanks of fluid, each of which has ....

....to [GNRR93] Bra95] PE95] To a large extent, efforts to date have focussed on the problem of modeling, i.e. capturing the mixed continuous and discrete variable dynamics in a mathematically unified fashion. A detailed investigation of various hybrid models, including the Nerode Kohn model [NK93] used in this paper, is given in [Bra95] The problem considered here is based on the three tank problem of Chase et al. CSR93] A related single, leaking tank problem with an on off pump control signal [ACHH93] KNRY95] and a three tank problem with additional tank interconnections, supply and ....

[Article contains additional citation context not shown here]

A. Nerode and W. Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 317--356. Springer-Verlag, 1993.

....transducers; Rational power series; Semiring; Shortest paths algorithms 1. Introduction Finite state automata and transducers are currently used in many applications ranging from lexical analyzers [1] language and speech processing [23] to the design of controllability systems in aircrafts [24]. The theory of automata includes now all these #elds [27] Very large #nite state transducers can be used in various domains of natural language processing [22] In some applications, such as speech processing, the size of these machines exceeds one hundred million states. Reducing the size of ....

A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, Cornell University, Technical Report 93-28, MIT Press, Cambridge, MA, 1993.

.... with a finite state supervisory controller, linked by an interface consisting of an A D map and a D A map, converting a continuous plant output signal into a discrete controller input signal, and converting a discrete controller output signal into an input to the continuous plant, respectively [16, 12, 7, 5]. Of a particular interest here is the task of controller design; e.g. 7, 16, 9, 4] study classes of control problems in which the continuous plant and D A map are given, and the task is to construct an A D map and a supervisory controller so that the closed loop system fulfills various ....

....(#j i) y(j) # (11) conv ) captures C conv . For the more general case where # is a finite cover with overlaps, we can also capture C conv , but have to replace # with a refinement # such that # = where the cells of # are the join irreducibles in as a lattice of sets (see also [12]) For the equilibrium specification C equi , it is also clear that it cannot be captured via any finite range A D map. However, what can be captured is a weaker version of C equi already relativised to # by replacing true equality = with in Equation (7) Ad Example 2: circular motion. ....

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. Grossman et al., editor, Hybrid Systems, LNCS 736, pages 297--316. Springer-Verlag, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In Grossman et al. [8], pages 317--356.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes on Computer Science, pages 317--356. Springer-Verlag, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 317--356, Berlin, Germany, 1993. SpringerVerlag.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 317--356. Springer Verlag, New York, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 317--356. Springer-Verlag, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes on Computer Science, pages 317 -- 356. Springer-Verlag, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, Vol. 736, LNCS, 317--356. Springer-Verlag, 1993.

No context found.

A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes on Computer Science, pages 317 -- 356. Springer-Verlag, 1993.

No context found.

A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, LNCS 736, 317-356.

No context found.

A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, LNCS 736, 1993, pp. 317-356.

First 50 documents  Next 50

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