J.M. Davoren, Anil Nerode  Home/Search
Context Related
| anu.edu.au/~davore...voren_nerode.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: anu.edu.au/~davoren/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such mathematical models have proved fruitful in a great diversity of engineering applications, including air tra#c control, automated manufacturing and chemical process control. The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods, ... (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (Correct)
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
Similar documents (at the sentence level):
33.0%: Logics for Hybrid Systems - Davoren, Nerode (2000) (Correct)
Active bibliography (related documents): More All
1.6: Using Modal Logics for the Formal Analysis and Synthesis of.. - Davoren (2000) (Correct)
1.3: On Hybrid Systems and the Modal µ-Calculus - Davoren (1999) (Correct)
0.7: Spread Spectrum Communications over Nonlinear Satellite Channels - McCarthy (1999) (Correct)
Similar documents based on text: More All
0.6: Hybrid control loops, A/D maps, and dynamic specifications - Davoren, Moor, Nerode (2002) (Correct)
0.4: Bimodal Logics for Reasoning about Continuous Dynamics - Davoren, Goré (2001) (Correct)
0.2: Partial Automata and Finitely Generated Congruences: An Extension.. - Kozen (1992) (Correct)
Related documents from co-citation: More All
12: DISCRETE ABSTRACTIONS OF HYBRID SYSTEMS - Alur, Courcoubetis et al. - 1995
12: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
11: Supervisory Control of Hybrid Systems - Koutsoukos, Antsaklis et al. - 2000
BibTeX entry: (Update)
J. M. Davoren and A. Nerode. Logics for hybrid systems. In Antsaklis and van Schuppen [9]. To appear. http://citeseer.ist.psu.edu/article/davoren00logics.html More
@misc{ davoren-logics,
author = "J. Davoren and A. Nerode",
title = "Logics for hybrid systems",
text = "J. M. Davoren and A. Nerode. Logics for hybrid systems. In Antsaklis and
van Schuppen [9]. To appear.",
url = "citeseer.ist.psu.edu/article/davoren00logics.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
652 A Discipline of Programming (context) - Dijkstra - 1976
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
539 The temporal logic of programs (context) - Pnueli - 1977
308 The control of discrete event systems (context) - Ramadge, Wonham - 1989
268 A theory of timed automata - Alur, Dill - 1994
232 Hybrid automata: an algorithmic approach to the specificatio.. - Alur, Courcoubetis et al.
227 Formal methods: State of the art and future directions - Clarke, Wing - 1996
224 Model-checking in dense real-time - Alur, Courcoubetis et al. - 1993
202 Modal and temporal logics (context) - Stirling - 1992
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
190 Results on the propositional -calculus (context) - Kozen - 1983
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
162 Automata-theoretic techniques in the modal logics of program.. (context) - Vardi, Wolper - 1986
160 The theory of hybrid automata - Henzinger - 1996
155 The tool Kronos - Daws, Olivero et al.
143 Logics of programs (context) - Kozen, Tiuryn - 1990
126 Semantical considerations on Floyd-Hoare logic - Pratt - 1976
119 Alternatingtime temporal logic - Alur, Henzinger et al. - 1997
114 Logics of Time and Computation (context) - Goldblatt - 1992
110 A user guide to HyTech - Henzinger, Ho et al. - 1995
103 the synthesis of discrete controllers for timed systems (context) - Maler, Pnueli et al. - 1995
93 Uppaal: a tool suite for automatic verification of real-time.. - Bengtsson, Larsen et al.
92 Set-Valued Analysis (context) - Aubin, Frankowska - 1990
75 Topology: A First Course (context) - Munkres - 1975
72 the combinatorial and algebraic complexity of quantifier eli.. - Basu, Pollack et al. - 1996
68 Verifying hybrid systems - Manna, Pnueli
68 Discrete abstractions of hybrid systems - Alur, Henzinger et al. - 2000
67 Topics in Mathematical System Theory (context) - Kalman, Falb et al. - 1969
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997
62 Geometric Theory of Dynamical Systems (context) - Palis, de Melo - 1982
61 the calculus of relations (context) - Tarski - 1941
60 A new class of decidable hybrid systems - La, Pappas et al.
58 Characterizing correctness properties of parallel programs a.. (context) - Emerson, Clarke - 1981
57 Models for reactivity - Manna, Pnueli - 1993
52 An extended duration calculus for hybrid real-time systems (context) - Chaochen, Ravn et al.
51 Modular feedback logic for discrete event systems (context) - Ramadge, Wonham - 1987
50 Timing analysis in cospan - Alur, Kurshan
47 Theoretical Computer Science (context) - Pnueli, Sifakis - 1995
46 Hybrid systems in TLA - Lamport
43 Springer-Verlag (context) - Grossman, Nerode et al. - 1993
34 Hybrid Systems II (context) - Antsaklis, Kohn et al. - 1995
32 Tame Topology and O-minimal Structures (context) - van den Dries - 1998
27 Robust timed automata - Gupta, Henzinger et al.
25 Constraint nets: a semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
25 Towards refining temporal specifications into hybrid systems - Henzinger, Manna et al.
24 The algebra of topology (context) - McKinsey, Tarski - 1944
24 A game theoretic approach to controller design for hybrid sy.. (context) - Tomlin, Lygeros et al. - 2000
22 Models for hybrid systems: Automata, topologies, controllabi.. (context) - Nerode, Kohn
22 The General Topology of Dynamical Systems (context) - Akin - 1993
21 Hybrid Systems IV (context) - Antsaklis, Kohn et al. - 1997
20 Supervisory control of hybrid systems - Koutsoukos, Antsaklis et al. - 2000
20 Hybrid Systems III (context) - Alur, Henzinger et al. - 1996
18 Proving safety properties of hybrid systems - Kapur, Henzinger et al. - 1994
18 A unified approach for studying the properties of transition.. (context) - Sifakis - 1982
16 It's about time: real-time logics reviewed - Henzinger - 1998
14 A classification of symbolic transition systems - Henzinger, Majumdar - 2000
13 Control of infinite behavior of finite automata (context) - Thistle, Wonham - 1994
13 An update on STeP: Deductive-algorithmic verification of rea.. - Manna, Bjorner et al. - 1998
12 Hybrid I/O automata - Lynch, Segala et al.
11 Topology of hybrid systems - Branicky - 1993
10 Hybrid Systems: Computation and Control (context) - Henzinger, Sastry - 1998
10 Synthesis of hybrid constraint-based controllers (context) - Zhang, Mackworth
10 Model checking and the mu-calculus - Emerson - 1997
10 Semantical analysis of modal logic I: normal propositional c.. (context) - Kripke - 1963
9 PVS: Combining specification, proof checking, and model chec.. - Owre, Rajan et al. - 1996
9 Deductive verification of hybrid systems using STeP - Manna, Sipma
8 Special Issue on Hybrid Control Systems (context) - Antsaklis, Nerode et al. - 1998
8 Hybrid Systems: Computation and Control (context) - Vaandrager, van Schuppen - 1999
8 SHIFT: A formalism and a programming language for dynamic ne.. - Deshpande, Gollu et al.
8 Modal Logics for Continuous Dynamics (context) - Davoren - 1998
8 Real quantifier elimination in practice - Dolzmann, Sturm et al. - 1998
7 Hybrid Systems V (context) - Antsaklis, Kohn et al. - 1999
7 Robustness issues for hybrid systems (context) - Horn, Ramadge - 1995
6 Decidable integration graphs - Kesten, Pnueli et al.
5 Viability in hybrid systems (context) - Kohn, Nerode et al. - 1995
5 Graduate Texts in Computer Science (context) - Nerode, Shore et al. - 1997
5 Tableaux methods for modal and temporal logics (context) - Gore - 1999
5 Compositional specification and structured verification of h.. - Herrmann, Graw et al. - 1998
4 A note on the completeness of Kozen's axiomatization of the .. (context) - Walukiewicz - 1996
4 Specification and verification of hybrid dynamic systems wit.. - Zhang, Mackworth
4 Department of Electrical and Electronic Engineering (context) - Cook, in et al. - 1999
4 Controllers as fixed-points of set-valued operators (context) - Nerode, Remmel et al.
4 On hybrid systems and the modal -calculus - Davoren
3 Topologies, continuity and bisimulations - Davoren - 1999
3 Boolean algebras with operators, part (context) - Jonsson, Tarski - 1951
2 Hybrid cc, hybrid automata and program verification - Gupta, Jagadeesan et al.
2 Logic-based robust design and synthesis of hybrid control sy.. (context) - Davoren, Anderson et al. - 2000
2 Logic, topological semantics and hybrid systems (context) - Artemov, Davoren et al. - 1997
2 Control synthesis of hybrid systems based on predicate invar.. (context) - Chen, Hanisch
2 Using modal logics for the formal analysis and synthesis of .. - Davoren - 2000
2 Hybrid and Real-Time Systems: International Workshop HART (context) - Maler - 1997
1 A formal desription of hybrid systems (context) - Chaochen, Ji et al.
1 Prespectives and results on the stability and stabilizabilit.. (context) - De Carlo, Branicky et al. - 2000
1 High-level modeling and analysis of the air tra#c alert and .. (context) - Livadas, Lygeros et al. - 2000
1 aler, , and A. Pnueli, "E#ective synthesis of switching cont.. (context) - Asarin, Bournez et al. - 2000
1 Actions systems with continuous bevaviour (context) - Ronkko, Ravn
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://arp.anu.edu.au/~davoren/): More
Using Modal Logics for the Formal Analysis and Synthesis of.. - Davoren (2000) (Correct)
Topologies, Continuity And Bisimulations - Davoren (1999) (Correct)
Bimodal Logics for Reasoning About Continuous Dynamics - Davoren, Goré (2000) (Correct)
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