O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447--484, 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
CHARON: a Language for Modular Specification of Hybrid.. - Alur, Grosu, Hur, Kumar.. (2000) (Correct)
....In summary, instead of solving the entire set of constraints simultaneously, the modular scheme computes the approximate solutions by layering the constraints as dictated by the modular speci cation. Related work. Early formal models for hybrid systems include phase transition systems [MMP91] and hybrid automata [ACH 95] There has been a lot of research concerning analysis of hybrid automata leading to the model checker HyTech [AHH96, HHW95] Models such as hybrid I O automata [LSVW96] and hybrid modules [AH97] allow compositional treatment of concurrent hybrid behaviors. None of ....
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1991.
An Automaton-Theoretic Approach to Safety and Security in.. - Lanotte (2003) (Correct)
.... where regions encapsulate infinite evaluations ( 11] 58] and [13] In undecidable cases one can partially solve the problem by using symbolic verification (see [9] and [18] Another method is to have verification rules for proving safety properties and response properties (see [55] 72] and [71]) To extend Temporal and Modal logics ( 34] so that control and test on time and variable values are ensured, many logics have been proposed ( 59] 16] 14] and [17] These Logics extend the classical temporal operators, such as until or next , with control on time that can be expressed ....
Maler, O., Manna, Z., Pnueli, A.: From Timed to Hybrid Systems. Lecture Notes in Computer Science 1600, Springer, Berlin, 1992, 447--483.
Proceedings of the lASTED International Conference - Applied Moderang And (1999) (Correct)
....and changing their sizes. An available tool ECSS ( valuation of Critical Systems Specifications) has been used to test our system. This program allows representing and simulating adaptive statecharts, and upgrades in many aspects an earlier system named STAD (ADaptive Statecharts) 3] 4] e [5]. ECSS and STAD are computer tools for representing and simulating adaptive statecharts. It permits the simulation of the main features of that example. Based on the results achieved through the experiments made with ECSS, a program prototype named SYSTEM 2D was developed, which retains in its ....
O. Maler, Z. Manna, A. Pnueli, From Timed to Hybrid Systems, Proceedings of the REX Workshop on Real Time: Theory and Practice, 1991, Springer Verlag, New York.
Hybrid I/O Automata - Lynch, Segala, al. (1996) (6 citations) (Correct)
....to prevent this from happening. The simpli cation in this material in the new model is a result of our modeling of the game itself as an HIOA. 1. 3 Other Related Work Besides the models already discussed above, other precursors to the new HIOA model include the phase transition system models of [63,3,38] and Branicky s hybrid control systems [13,14] Phase transition systems are similar to HIOAs in their combined treatment of discrete and continuous activity, for example, they have notions similar to our trajectories and hybrid sequences. However, work on phase transition system models does not ....
....functions from a left closed interval to type(v) Then C is closed under time shift and subinterval. If the dynamic type of v is obtained by closing C under the pasting operation, then v is called a discrete variable. This is essentially the same as the de nition of a discrete variable in [63]. 12 Example 3.2 (Standard real valued function classes) If we take T = R and type(v) R, then other examples of dynamic types can be obtained by taking the pasting closure of standard function classes from real analysis, such as the set of continuous functions, the set of di erentiable ....
[Article contains additional citation context not shown here]
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [17], pages 447-484.
Hybrid I/O Automata - Lynch, Segala, Vaandrager (1996) (6 citations) (Correct)
....to prevent this from happening. The simplification in this material in the new model is a result of our modeling of the game itself as an HIOA. 1. 3 Other Related Work Besides the models already discussed above, other precursors to the new HIOA model include the phase transition system models of [63,3,38] and Branicky s hybrid control systems [13,14] Phase transition systems are similar to HIOAs in their combined treatment of discrete and continuous activity, for example, they have notions similar to our trajectories and hybrid sequences. However, work on phase transition system models does not ....
....functions from a left closed interval to type(v) Then C is closed under time shift and subinterval. If the dynamic type of v is obtained by closing C under the pasting operation, then v is called a discrete variable. This is essentially the same as the definition of a discrete variable in [63]. 12 Example 3.2 (Standard real valued function classes) If we take T = R and type(v) R, then other examples of dynamic types can be obtained by taking the pasting closure of standard function classes from real analysis, such as the set of continuous functions, the set of differentiable ....
[Article contains additional citation context not shown here]
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [17], pages 447-484.
Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang, Esposito.. (2003) (7 citations) (Correct)
....formalisms, and the latter, while present in all block structured programming languages, was introduced for state machine based modeling in STATECHARTS [11] CHARON supports both architectural and behavioral hierarchies. Early formal models for hybrid systems include phase transition systems [12] and hybrid automata [13] Although modularity in hybrid specifications has been addressed in languages such as hybrid input output (I O) automata [14] CHARON allows richer specifications. Discrete updates in CHARON are specified by guarded actions labeling transitions connecting the modes. Some ....
O. Maler, Z. Manna, and A. Pnueli, "From timed to hybrid systems," in Lecture Notes in Computer Science, Real-Time: Theory in Practice. Heidelberg, Germany: Springer-Verlag, 1991, vol. 600, pp. 447--484.
Hybrid Verification by Exploiting the Environment - Fix, Schneider (1994) (2 citations) (Correct)
....true. Thus, v contains the elapsed time since node v last became active. And, clock variable #v contains the elapsed time since the start of control variable s v last change from true to false; it has value if v has never been true. Execution of a program is modeled as a sequence of phases [18, 12]. Each phase gives values to the variables over some period of time. We denote a phase as a pair ( r; r ] f) where [r; r ] is a closed interval of the reals and f is a mapping from [r; r ] to states. Phase ( r; r ] f) associates state f(t) with any time t such that r t r . A ....
....The problem of reasoning about arbitrary continuous valued state components was first discussed in [24] in connection with process control program for railroad control. That work was ultimately published in [20] Our underlying semantic model traces is similar to the hybrid traces of [18]. A hybrid trace consists of continuous and discrete moments. A continuous moment is mapped to a single state, and a discrete moment may be mapped to several states. With our notion of traces, every intermediate discrete moment is mapped to exactly two states. Our computation model control ....
[Article contains additional citation context not shown here]
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop, Real-time: Theory in practice, pages 447--484. Lecture Notes in Computer Science Vol. 600, Springer-Verlag, 1992.
Liveness in Timed and Untimed Systems - Segala, Gawlick.. (1994) (37 citations) (Correct)
....times. Also, the intuition about the execution of a timed system is that visible actions occur at points in time, and that time passes continuously between these points. These observations lead to the definition of a timed execution. The definition is close to the notion of hybrid computation of [MMP91] where continuous changes and discrete events alternate during the execution of a system. A timed execution fragment Sigma of a timed automaton A is a (finite or infinite) sequence of alternating A trajectories and actions in vis(A) int(A) starting in a trajectory and, if the sequence is ....
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al.
The d/dt Tool for Verification of Hybrid System - Asarin, Dang, Maler (2002) Self-citation (Maler) (Correct)
No context found.
O. Maler, Z. Manna and A. Pnueli, From Timed to Hybrid Systems, Real-Time: Theory in Practice, 447-484 LNCS 600, Springer, 1992.
Structured Modeling of Concurrent Stochastic Hybrid Systems - Bernadsky, Sharykin, Alur (2004) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447--484, 1991.
A Formal Mathematical Framework for - Modeling Probabilistic Hybrid (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. Real-Time: Theory in practice in Lecture Notes in Computer Science, pages 448--484, 1992.
Cross-aspect Queries and Dynamic Views for Model-based.. - David Oglesby Kirk (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1991.
Masaccio: A Formal Model for Embedded Components - Henzinger (2000) (6 citations) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447--484. Springer-Verlag, 1992. 16
Modular Code Generation from Hybrid Automata Based on Data.. - Kim, Lee (2003) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600. Springer-Verlag, 1991.
Decidable Verification for Reducible Timed Automata.. - Beauquier, Slissenko (1998) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. W. de Bakker, C. Huizing, W. P. de Rooever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Time: Theory and Practice, pages 447--484. Springer Verlag, 1992. Lect. Notes in Comput. Sci, vol. 600.
Modeling and Analysis of Hybrid Control Systems - Zhang, Mackworth (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. deBakker, C. Huizing, W.P. dePoever, and G. Rozenberg, editors, Real-Time: Theory in Practice, number 600 in Lecture Notes on Computer Science, pages 448 -- 484. Springer-Verlag, 1991.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands, June 1991.
Generating Embedded Software from Hierarchical Hybrid.. - Alur, Ivancic, Kim, Lee, .. (2003) (3 citations) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447--484. Springer-Verlag, 1991.
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (5 citations) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. 447--484. Springer-Verlag, 1992.
The Theory of Timed I/O Automata - Kaynar, Lynch, Segala, Vaandrager (2003) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands, June 1991.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch, Segala, .. (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands, June 1991.
Specifying Real-Time Systems in Rewriting Logic - Ölveczky, Meseguer (1996) (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In RealTime: Theory in Practice, volume 600 of LNCS, 1991.
Modeling Hybrid Systems using Analytic - Constraint Logic Programming (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. de Bakker, C. Huizing, W. de Roever, and G. Rozenberg, editors, Real-Time Theory in Practice, volume 600 of LNCS, pages 447-484. Rex Workshop, Springer Verlag, 1991.
High-Level Modeling and Analysis of the Traffic Alert and .. - Livadas, Lygeros, Lynch (2000) (1 citation) (Correct)
No context found.
Oded Maler, Zohar Manna, and Amir Pnueli, "From Timed to Hybrid Systems," in Proc. REX Workshop "Real-Time: Theory in Practice", J.W. de Bakker, K. Huizing, W.P. de Roever, and G. Rozenberg, Eds., vol. 600 of Lecture Notes in Computer Science, pp. 447--484. SpringerVerlag, 1992.
Modeling Hybrid Systems using Analytic - Programming (Correct)
No context found.
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. de Bakker, C. Huizing, W. de Roever, and G. Rozenberg, editors, Real-Time Theory in Practice, volume 600 of LNCS, pages 447--484. Rex Workshop, Springer Verlag, 1991.
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