Nancy Lynch and Frits Vaandrager. Forward and backward simulations: I. untimed systems. Information and Computation, 121(2):214--233, September 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Transformations Of Reduction Self-citation (Systems) (Correct)
No context found.
Nancy Lynch and Frits Vaandrager. Forward and backward simulations: I. untimed systems. Information and Computation, 121(2):214--233, September 1995.
Compositionality for Probabilistic Automata - Nancy Lynch Roberto (2003) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, September 1995.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. Self-citation (Lynch Segala Vaandrager Automata) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105--157, 2003.
Modeling and Verifying a Lego Car Using Hybrid I/O Automata - Fehnker, Vaandrager, Zhang (2003) Self-citation (Vaandrager Automata) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 2003.
Compositionality for Probabilistic Automata - Lynch, Segala, Vaandrager (2003) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, September 1995.
Faculty of ScienceModeling and Verifying a Lego Car Using Hybrid.. - ZHANG (2003) Self-citation (Vaandrager Automata) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 2003.
The Theory of Timed I/O Automata - Kaynar, Lynch, Segala, Vaandrager (2003) Self-citation (Lynch Segala Vaandrager Automata) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 2003. To appear.
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1--25, July 1996.
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, 1995.
GeoQuorums: Implementing Atomic Memory in Mobile Ad.. - Dolev, Gilbert.. (2004) (5 citations) Self-citation (Lynch) (Correct)
No context found.
Nancy Lynch, Roberto Segala, and Frits Vaandraager. Hybrid I/O automata. Information and Computation, 185(1), August 2003.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch, Segala, .. Self-citation (Lynch Segala Vaandrager Automata) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105--157, 2003.
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1--25, July 1996.
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) Self-citation (Lynch Vaandrager) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, 1995.
Modeling and Verifying a Lego Car Using Hybrid I/O Automata - Fehnker, Vaandrager, Zhang (2003) Self-citation (Vaandrager Automata) (Correct)
....analysis methods based on these models. In earlier work together with Nancy Lynch (MIT) and Roberto Segala (University of Verona) the second author developed a basic mathematical framework to support description and analysis of hybrid systems: the Hybrid Input Output Automaton (HIOA) model [10]. In the present paper we illustrate the application of the HIOA framework by using it to model and analyze the behavior of a simple Lego car, displayed in Figure 1. Although this case Figure 1: Lego car. study literally is a toy example , our mechanical model is rather simplistic, and of ....
....for their validity, as well as the correctness proofs. A generalization of our results to a setting with disturbances is discussed in Section 5. Finally, Section 6 presents some directions for future work. Although this paper heavily relies on the theory of hybrid I O automata as developed in [10], it should be readable without detailed knowledge of this theory. Only readers who want to understand all the fine points about our model and correctness proofs (What are the precise requirements on trajectories of a hybrid automaton How exactly are composition and hiding operations defined ....
[Article contains additional citation context not shown here]
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 2003.
Structured Modeling of Concurrent Stochastic Hybrid Systems - Bernadsky, Sharykin, Alur (2004) (Correct)
No context found.
N.A. Lynch, R. Segala, and F.W. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105--157, 2003.
State Estimation of Probabilistic Hybrid Systems with Particle.. - Funiak (Correct)
No context found.
N. A. Lynch, R. Segala, and F. W. Vaandrager. Hybrid i/o automata. Information and Computation, 185(1):105--157, August 2003.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
No context found.
Nancy A. Lynch and Frits W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1-25, 1996.
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1--25, July 1996.
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, September 1995.
Hybrid System Verification is not a Sinecure - The Electronic .. - Fehnker, Krogh (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1--25, July 1996.
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (1999) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, September 1995.
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, II: Timingbased systems. Information and Computation, 128(1):1--25, July 1996.
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, I: Untimed systems. Information and Computation, 121(2):214--233, September 1995.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
No context found.
Nancy A. Lynch and Frits W. Vaandrager. Forward and backward simulations, II: Timing-based systems. Information and Computation, 128(1):1-25, 1996.
Cones and Foci for Protocol Verification Revisited - Fokkink, Pang (2003) (Correct)
No context found.
N.A. Lynch and F.W. Vaandrager. Forward and backward simulations. Part I: Untimed systems. Information and Computation, 121:214--233, 1995.
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