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 Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Modeling and Analyzing Software Behavior in UML - Porres (2001) (Correct)
Monitoring and Diagnosis of Hybrid Systems Using.. - Koutsoukos, Kurien, Zhao (2002) (4 citations) (Correct)
Continuous Motion Plans for Robotic Systems with Changing.. - Zefran, Desai (1996) (8 citations) (Correct)
A Sampling Semantics of Duration Calculus - Van Hung, Giang (1995) (1 citation) (Correct)
Hierarchical Control of Piecewise Linear Hybrid Dynamical.. - Koutsoukos, Antsaklis (2001) (Correct)
Specification and Verification of Constraint-Based Dynamic.. - Zhang, Mackworth (1 citation) (Correct)
Simulation Environments For The Design And Test Of An .. - Roeckel, Rivoir.. (1999) (Correct)
Towards Continuous Abstractions of Dynamical and Control Systems - Pappas, Sastry (1997) (4 citations) (Correct)
A Multi-Agent Graph-Game Approach to Theoretical Foundations .. - Yakhnis, Stilman (1995) (Correct)
Hybrid Modeling of TCP Congestion Control - Hespanha, Bohacek, Obraczka, Lee (2001) (4 citations) (Correct)
Hybrid Systems in Process Control - Lennartson, Egardt, Tittus (1994) (Correct)
The Intractability of Face Reachability in 3D Visit-Once.. - Kolen, Zhao (1996) (Correct)
A Hybrid System Investigation of Fluid-Filled Tanks - Labinaz, Rudie, Ricker.. (1996) (Correct)
Minimization Algorithms for Sequential Transducers - Mohri (2000) (17 citations) (Correct)
Submitted for Publication to - International Workshop On (Correct)
A Formal Mathematical Framework for - Modeling Probabilistic Hybrid (Correct)
Discrete Abstraction and Supervisory Control of.. - Su, Abdelwahed, Karsai, .. (Correct)
Towards Continuous Abstractions of Dynamical and Control Systems - George Pappas And (1997) (4 citations) (Correct)
Supervisory Control of Hybrid Systems - Koutsoukos, Antsaklis, Stiver.. (2000) (17 citations) (Correct)
Modeling and Analysis of Hybrid Control Systems - Zhang, Mackworth (Correct)
Estimation of Distributed Hybrid Systems Using Particle.. - Koutsoukos, Kurien, Zhao (2003) (1 citation) (Correct)
Synthesis of Hybrid Constraint-Based Controllers Ying Zhang - And Alan Mackworth (Correct)
Hybrid Control Systems November 1994 UNU/IIST - Enables Developing Countries (Correct)
Verification via Digitized Models of Real-Time Systems - Van Hung, Kwang (Correct)
Hybrid control loops, A/D maps, and dynamic specifications - Davoren, Moor, Nerode (2002) Self-citation (Nerode) (Correct)
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