Gerardo Schneider  Home/Search
Context
Related
| tel.ccsd.cnrs.fr/doc...tel00004583.pdf 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: tel.ccsd.cnrs.fr/cs_theses (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A polygonal differential inclusion system (SPDI) is a non-deterministic planar hybrid system which can be represented by piecewise constant differential inclusions. In this thesis we are concerned with several theoretical and practical questions related to SPDIs such as reachability analysis and phase portrait construction. First we show that the reachability question for SPDIs is indeed decidable. Our procedure is not based on the computation of the reach-set but rather on the computation of... (Update)
Similar documents (at the sentence level):
43.7%: Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Active bibliography (related documents): More All
2.3: Widening the Boundary Between Decidable and Undecidable.. - Asarin, Schneider (2002) (Correct)
1.2: Invariance Kernels of Polygonal Differential Inclusions - Schneider (2003) (Correct)
0.8: SPeeDI - a Verification Tool for Polygonal Hybrid Systems - Asarin, Pace, Schneider.. (2002) (Correct)
Similar documents based on text: More All
0.6: L'analyse Formelle Des Systemes Temporises En Pratique - Tripakis (1998) (Correct)
0.3: Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
0.3: Sur La Verification De La Satisfaction Pour La Logique Des.. - Mahfoudh (2003) (Correct)
BibTeX entry: (Update)
@phdthesis{ tel-00004583,
author = "Schneider, Gerardo",
title = "Analyse algorithmique de systèmes hybrides polygonaux ",
school = "UNIVERSITE JOSEPH-FOURIER - GRENOBLE I",
year = "2002",
month = "07",
note = "tel-00004583",
URL = "citeseer.ist.psu.edu/schneider02analyse.html",
URL = "http://tel.ccsd.cnrs.fr/documents/archives0/00/00/45/83/index_fr.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
828 Model checking - Clarke, Grumberg et al. - 1999
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
539 The temporal logic of programs (context) - Pnueli - 1977
470 Design and Validation of Computer Protocols (context) - Holzmann - 1991
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
295 PVS : a prototype verification system (context) - Owre, Rushby et al. - 1992
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
266 Information and Computation (context) - Coquand, Huet et al. - 1988
259 Elements of the Theory of Computation (context) - Lewis, Papadimitriou - 1981
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
211 Hytech: A model checker for hybrid systems - Henzinger, Ho et al. - 1997
202 Modal and Temporal Logics (context) - Stirling - 1992
177 Computation: Finite and Infinite Machines (context) - Minsky - 1967
176 An Introduction to Chaotic Dynamical Systems (context) - Devaney - 1989
175 Logics and Models of Real Time: a Survey - Alur, Henzinger - 1992
168 What's decidable about hybrid automata - Henzinger, Kopke et al. - 1995
167 Automatic symbolic verification of embedded systems - Alur, Henzinger et al. - 1996
160 The theory of hybrid automata - Henzinger - 1996
150 Computational complexity (context) - Papadimitriou - 1994
125 A temporal logic for multi-level reasoning about hardware (context) - Moszkowski - 1985
116 volume 1201 of Lecture Notes in Computer Science (context) - Maler, Hybrid et al. - 1997
109 Differential equations with discontinuous right-hand side (context) - Filippov - 1960
109 Differential equations with discontinuous righthand sides (context) - Filippov - 1988
98 Kronos: A verification tool for real-time systems (context) - Yovine - 1997
97 Hytech: The next generation - Henzinger, Ho et al. - 1995
97 Step: The stanford temporal prover - Manna, Bjorner et al. - 1995
93 Uppaal --- a Tool Suite for Automatic Verification of Real--.. - Bengtsson, Larsen et al. - 1995
86 Functional Programming (context) - Field, Harrison - 1988
80 An approach to the description and analysis of hybrid system.. - Nicollin, Olivero et al. - 1993
77 volume 1066 of Lecture Notes in Computer Science (context) - Alur, Henzinger et al. - 1996
75 Integration graphs: a class of decidable hybrid systems - Kesten, Pnueli et al. - 1993
75 Parametric real-time reasoning - Alur, Henzinger et al. - 1993
70 Computing abstractions of infinite state systems composition.. - Bensalem, Lakhnech et al. - 1998
62 Symbolic verification with periodic sets - Boigelot, Wolper - 1994
61 Reachability analysis via face lifting - Dang, Maler - 1998
60 A new class of decidable hybrid systems - Lafferriere, Pappas et al. - 1999
58 Introductory Real Analysis (context) - Kolmogorov, Fomin - 1975
58 Decidability of hybrid systems with rectangular differential.. - Puri, Varaiya - 1994
55 volume 736 of Lecture Notes in Computer Science (context) - Grossman, Nerode et al. - 1993
54 Model-checking timed automata - Yovine - 1998
50 Timing analysis in COSPAN - Alur, Kurshan - 1996
48 Reachability analysis of dynamical systems having piecewise-.. - Asarin, Maler et al. - 1995
47 Moments and points in an interval-based temporal logic (context) - Allen, Hayes - 1990
47 volume 1273 of Lecture Notes in Computer Science (context) - Antsaklis, Kohn et al. - 1997
47 volume 999 of Lecture Notes in Computer Science (context) - Antsaklis, Kohn et al. - 1995
47 volume 1567 of Lecture Notes in Computer Science (context) - Antsaklis, Kohn et al. - 1998
46 Theory of recursive functions and effective computability (context) - Rogers - 1987
46 Symbolic Reachability Analysis of FIFO Channel Systems with .. - Bouajjani, Habermehl - 1997
44 Ellipsoidal techniques for reachability analysis - Kurzhanski, Varaiya - 2000
43 Universal computation and other capabilities of hybrid and c.. - Branicky - 1995
41 Computability with low-dimensional dynamical systems (context) - Koiran, Cosnard et al. - 1994
41 Viability Theory (context) - Aubin - 1991
40 Conflict resolution for air traffic management: A study in m.. - Tomlin, Lygeros et al. - 1998
37 Viable control of hybrid systems - Deshpande, Varaiya - 1995
34 Approximate reachability analysis of piecewise-linear dynami.. - Asarin, Bournez et al. - 2000
33 The power of QDDs - Boigelot, Godefroid et al. - 1997
32 Using abstractions for the verification of linear hybrid sys.. - Olivero, Sifakis et al. - 1994
31 A combinatorial introduction to topology (context) - Henle - 1979
29 Complexity of stability and controllability of elementary hy.. - Blondel, Tsitsilkis - 1999
29 Modular specification of hybrid systems in charon - Alur, Groshu et al. - 2000
28 Physical Review Letters (context) - Moore, undecidability et al. - 1990
28 Reachability analysis using polygonal projections (context) - Greenstreet, Mitchell - 1999
28 Are timed automata updatable - Bouyer, Dufourd et al. - 2000
27 On some relations between dynamical systems and transition s.. - Asarin, Maler - 1994
24 Prentice Hall Int (context) - Milner, Concurrency - 1989
24 InVeSt: A tool for the verification of invariants - Bensalem, Lakhnech et al. - 1998
24 The state of spin (context) - Holzmann, Peled - 1996
23 Extending Promela and SPIN for real time - Tripakis, Courcoubetis - 1996
23 volume 1569 of Lecture Notes in Computer Science (context) - Vaandrager, van Schuppen et al. - 1999
17 Kluwer Academic Publisher (context) - McMillan, Checking - 1993
17 Reachability analysis of planar multi-linear systems (context) - Maler, Pnueli - 1993
17 Reachability analysis of planar multi-linear systems (context) - Maler, Pnueli - 1993
16 Symbolic verification of lossy channel systems: Application .. - Abdulla, Annichini et al. - 1999
16 Deciding reachability for planar multi-polynomial systems - Cerans, iksna - 1996
16 Deciding reachability for planar multi-polynomial systems - Cerans, Viksna - 1996
15 Expressiveness of updatable timed automata - Bouyer, Dufourd et al. - 2000
14 Verifying invariance properties of timed systems with durati.. (context) - Bouajjani, Echahed et al. - 1994
13 A geometric approach to bisimulation and verification of hyb.. (context) - Broucke - 1999
13 The qualitative theory of ordinary differential equations: a.. (context) - Brauer, Nohel - 1969
12 Lecture Notes on Logical Foundations for the Duration Calcul.. (context) - Hansen, Chaochen - 1993
12 The coq proof assistant - a tutorial (context) - Huet, Kahn et al. - 1997
12 Verification of hybrid systems with linear differential incl.. (context) - Botchkarev, Tripakis - 2000
11 Les m'ethodes nouvelles de la m'ecanique c'eleste (context) - Poincar'e
11 The general problem of stability of motion (context) - Lyapunov
9 Hybrid Systems: Computation and Control (context) - Lynch, Krogh - 2000
9 Towards a geometric theory of hybrid systems - Simi'c, Johansson et al. - 2000
8 Computing polyhedral approximations to dynamic flow pipes (context) - Chutinan, Krogh - 1998
8 Stability of hybrid systems - Kourjanski, Varaiya - 1996
8 Complexit'e algorithmique des syst`emes dynamiques continus .. (context) - Bournez - 1999
7 Closed-form analytic maps in one and two dimensions can simu.. - Koiran, Moore - 1999
7 Qualitative theory of hybrid dynamical systems (context) - Matveev, Savkin - 2000
7 Planar hybrid systems (context) - Guckenheimer, Johnson - 1994
6 Maximal safe set computation for idle speed control of an au.. (context) - Balluchi, Benvenuti et al. - 2000
6 Mathematics: Its content (context) - Aleksandrov, Kolmogorov et al. - 1963
6 Qualitative theory of differential equations (context) - Nemytskii, Stepanov - 1960
6 a novel class of bifurcations in hybrid dynamical systems (context) - Kowalczyk, di Bernardo - 2034
6 Symposium on Models of Programming Languages and Computation (context) - Cousot - 1996
6 The substratum of impulse and hybrid control systems (context) - Aubin - 2034
6 Notes on functional programming with gofer - Cunningham - 1995
5 Dynamical Systems and Linear Algebra (context) - Hirsch, Smale - 1974
5 Polyhedral flows in hybrid automata - Alur, Kannan et al. - 1999
5 Control and Optimization (context) - Aubin, on et al. - 1990
5 Impulse differential inclusions: A viability approach to hyb.. (context) - Aubin, Lygeros et al. - 2002
4 Discrete Mathematics (context) - Bobrow, Arbib - 1974
4 Speedi: a verification tool for polygonal hybrid systems - Asarin, Pace et al. - 2002
4 Introduction to Topological Dynamics (context) - Sibirsky - 1975
4 Hybrid System Verification Using Discrete Model Approximatio.. (context) - Chutinan - 1999
4 Looking for a methodology for analyzing hybrid systems (context) - Dora, Yovine - 2001
4 Oxford: Clarendon Press (context) - Prior, Modality - 1957
3 Report on Haskell 98: A non-strict (context) - Jones, Hughes - 1999
3 the decidability of the reachability problem for planar diff.. - Asarin, Schneider et al. - 2001
3 A case study: Multi product batch plant for the demonstratio.. (context) - Bauer, Kowalewski et al. - 2000
3 Dynamical Systems andLinear Algebra (context) - Guckenheimer, Holmes - 1990
3 Technical report (context) - Dang, dt - 2000
2 Towards computing phase portraits of polygonal differential .. - Asarin, Schneider et al. - 2002
2 Functional programming languages for verification tools: Exp.. - Leucker, Noll et al. - 2001
2 Verifying omega-regular properties for a subclass of linear .. (context) - Bouajjani, Robbana - 1995
2 volume 2289 of Lecture Notes in Computer Science (context) - Tomlin, Greenstreet et al. - 2002
2 Notes for the Sixth European Summer School in Logic (context) - Dam, Automata et al. - 1994
2 Number 264 in A Series of Comprehensive Studies in Mathemati.. (context) - Aubin, Cellina - 1984
2 Differential equations: a modern approach (context) - Hochstadt - 1963
2 Towards a viability theory for hybrid systems (context) - Aubin, Lygeros et al. - 2001
2 Viability and invariance kernels of impulse differential inc.. (context) - Aubin, Lygeros et al. - 2001
2 A demonstration plant for the control and scheduling of mult.. (context) - Bauer - 2000
2 Hybrid SystemComputation and Control (context) - Sangiovanni, Hybrid et al. - 2034
2 VHS case study 4 - modeling and control of a juice processin.. (context) - Fey, van Schuppen - 1999
2 Widening the boundary between decidable and undecidable hybr.. - Asarin, Schneider - 2002
1 Algorithmic problems in analysis of realsystems specificatio.. (context) - Cerans - 1992
1 Sur les 'equations de la dynamique et le probl`eme des trois.. (context) - Poincar'e
1 Sur les champs de demi-cones et les 'equations differentiell.. (context) - Marchaud - 1934
1 ese des syst`emes hybrides (context) - Dang, synth - 2000
1 M'emoire sur les courbes d'efinies par les 'equations diff'e.. (context) - Poincar'e
1 Epsilon approximations of differential inclusions (context) - Puri, Varaiya et al. - 1996
1 A temporal logic to deal with fairness in transition systems (context) - Queille, Sifakis - 1982
1 Differential inclusion in systems simulation (context) - Raczynski - 1996
1 Electronics Research Laboratory (context) - Lafferriere, Pappas et al. - 1998
1 Sur les 'equations au paratingent (context) - Zaremba - 1936
http://paleale.eecs.berkeley.edu/
http://www.ens-lyon.fr/~koiran/problems.html
Documents on the same site (http://tel.ccsd.cnrs.fr/cs_theses.html): More
Real-Time Dynamic Simulation And 3d Interaction Of Biological.. - Sundaraj (2004) (Correct)
L'analyse Formelle Des Systemes Temporises En Pratique - Tripakis (1998) (Correct)
Application of Visual Servoing to the Dynamic Positioning of an.. - Lots (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