SCOPUS 정보 검색 플랫폼

Journal of Symbolic Computation

Volumn 32, Issue 3, 2001, Pages 231-253

Symbolic reachability computation for families of linear vector fields

(3) Lafferriere, Gerardo a Pappas, George J b Yovine, Sergio c

a PORTLAND STATE UNIVERSITY (United States)

b UNIVERSITY OF PENNSYLVANIA (United States)

c VERIMAG (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035193272 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1006/jsco.2001.0472 Document Type: Article

Times cited : (191)

References (38)

1
- 0029637354
- The algorithmic analysis of hybrid systems
- (1995) Theor. Comput. Sci , vol.138 , pp. 3-34
- Alur, R.¹ Courcoubetis, C.² Halbwachs, N.³ Henzinger, T.⁴ Ho, P.⁵ Nicolin, X.⁶ Olivero, A.⁷ Sifakis, J.⁸ Yovine, S.⁹

2
- 0028413052
- A theory of timed automata
- (1994) Theor. Comput. Sci , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.²

3
- 33847234860
- Algebraic approach to analysis of discrete-time polynomial systems
- Karlsruhe, Germany
- (1999) Proceedings of 1999 European Control Conference, ECC'99
- Anai, H.¹ Kaneko, J.²

4
- 0033657469
- Deciding linear-trigonometric problems
- St Andrews, Scotland, ACM
- (2000) Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC 2000
- Anai, H.¹ Weispfenning, V.²

5
- 0016472847
- Output feedback stabilization and related problems-solution via decision methods
- (1975) IEEE Trans. Autom. Control , vol.20 , pp. 53-65
- Anderson, B.¹ Bose, N.² Jury, E.³

6
- 0021521367
- Cylindrical algebraic decomposition I: The basic algorithm
- (1984) SIAM J. Comput , vol.13 , pp. 865-877
- Arnon, D.S.¹ Collins, G.E.² McCallum, S.³

7
- 84957370423
- STeP: Deductive-algorithmic verification of reactive and real-time systems
- LNCS Berlin, Springer
- (1996) Computer Aided Verification , vol.1102
- Bjorner, N.¹ Browne, A.² Chang, E.³ Colon, M.⁴ Kapur, A.⁵ Manna, Z.⁶ Sipma, H.⁷ Uribe, T.⁸

8
- 0004243841
- 3rd edn. North-Holland
- (1990) Model Theory
- Chang, C.C.¹ Keisler, H.J.²

9
- 0002812573
- Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
- Vaandrager, F., van Schuppen, J. H. eds, LNCS Berlin, Springer
- (1999) Hybrid Systems: Computation and Control , vol.1569
- Chutinam, A.¹ Krogh, B.²

10
- 85029837057
- Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition
- Brakhage, H. ed., LNCS Berlin, Springer
- (1975) Automata Theory and Formal Languages , vol.33 , pp. 134-183
- Collins, G.¹

11
- 80052985571
- Partial cylindrical algebraic decomposition for quantifier elimination
- (1991) J. Symb. Comput , vol.12 , pp. 299-328
- Collins, G.¹ Hong, H.²

12
- 84957870468
- Reachability analysis via face lifting
- Henzinger, T., Sastry, S. eds, LNCS Berlin, Springer
- (1998) Hybrid Systems: Computation and Control , vol.1386 , pp. 96-109
- Dang, T.¹ Maler, O.²

13
- 40149092144
- The tool KRONOS
- LNCS Berlin, Springer
- (1996) Hybrid Systems III , vol.1066 , pp. 208-219
- Daws, C.¹ Olivero, A.² Tripakis, S.³ Yovine, S.⁴

14
- 0002443040
- REDLOG: Computer algebra meets computer logic
- (1997) ACM SIGSAM Bulletin , vol.31 , pp. 2-9
- Dolzman, A.¹ Sturm, T.²

15
- 0031211750
- Robust multi-objective feedback design by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 153-159
- Dorato, P.¹ Yang, W.² Abdallah, C.³

16
- 0003653881
- Konrad-Zuse-Zentrum für Informationstechnik Berlin
- (1999) REDUCE. User's and Contributed Packages Manual, Version 3.7
- Hearn, A.C.¹

17
- 84860691841
- A user guide to HYTECH
- Brinksma, E., Cleaveland, W., Larsen, K., Margaria, T., Steffen, B. eds, LNCS 1019, Berlin, Springer
- (1995) TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems , pp. 41-71
- Henzinger, T.¹ Ho, P.-H.² Wong-Toi, H.³

18
- 0001954045
- What's decidable about hybrid automata?
- ACM
- (1995) Proceedings of the 27th Annual Symposium on Theory of Computing , pp. 373-382
- Henzinger, T.¹ Kopke, P.² Puri, A.³ Varaiya, P.⁴

19
- 0000217258
- Symbolic model checking for real-time systems
- (1994) Inf. Comput , vol.111 , pp. 193-244
- Henzinger, T.¹ Nicollin, X.² Sifakis, J.³ Yovine, S.⁴

20
- 0006841532
- eds LNCS Berlin, Springer
- (1998) Hybrid Systems: Computation and Control , vol.1386
- Henzinger, T.¹ Sastry, S.²

21
- 0031208923
- Testing stability by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 161-187
- Hong, H.¹ Liska, R.² Steinberg, S.³

22
- 0031208954
- Nonlinear control system design by quantifier elimination
- (1997) J. Symb. Comput , vol.24 , pp. 137-152
- Jirstrand, M.¹

23
- 84974693322
- Ellipsoidal techniques for reachability analysis
- Krogh, B., Lynch, N. eds, LNCS Berlin, Springer
- (2000) Hybrid Systems: Computation and Control , vol.1790 , pp. 203-213
- Kurzhanski, A.¹ Varaiya, P.²

24
- 0033906082
- O-minimal hybrid systems
- (2000) Math. Control Signals Syst , vol.13 , pp. 1-21
- Lafferriere, G.¹ Pappas, G.J.² Sastry, S.³

25
- 84949457616
- A new class of decidable hybrid systems
- LNCS Berlin, Springer
- (1999) Hybrid Systems: Computation and Control , vol.1569 , pp. 137-151
- Lafferriere, G.¹ Pappas, G.J.² Yovine, S.³

26
- 0002714237
- Reachability computation for linear hybrid systems
- Beijing, People's Republic of China
- (1999) Proceedings of the 14th IFAC World Congress , vol.E , pp. 7-12
- Lafferriere, G.¹ Pappas, G.J.² Yovine, S.³

27
- 0006763475
- On the decidability of the real exponential field
- A.K. Peters
- (1996) Kreiseliana: About and Around Georg Kreisel , pp. 441-467
- Macintyre, A.¹ Wilkie, A.²

28
- 0003701225
- ed. LNCS Berlin, Springer
- (1997) Hybrid and Real-Time Systems HART'97 , vol.1201
- Maler, O.¹

29
- 0011019140
- MIT The Mathlab Group, L. F. C. S. Burlington, MA
- (1983) MACSYMA Reference Manual, Version 10

30
- 84974725120
- Level set methods for computation in hybrid systems
- Krogh, B., Lynch, N. eds, LNCS Berlin, Springer
- (2000) Hybrid Systems: Computation and Control , vol.1790 , pp. 310-323
- Mitchell, I.¹ Tomlin, C.²

31
- 0006831536
- Two algorithms arising in analysis of polynomial models
- Philadelphia, PA, U.S.A
- (1998) Proceedings of 1998 American Control Conference, ACC'98 , pp. 1889-1893
- Nešić, D.¹

32
- 0003431753
- 2nd edn. University of California Press
- (1951) A Decision Method for Elementary Algebra and Geometry
- Tarski, A.¹

33
- 0003533329
- eds. LNCS Berlin, Springer
- (1999) Hybrid Systems: Computation and Control , vol.1569
- Vaandrager, F.¹ Van Schuppen, J.²

34
- 0003966693
- 3rd edn. Berlin, Springer
- (1994) Logic and Structure
- Van Dalen, D.¹

35
- 77956967855
- Remarks on Tarski's problem concerning (ℝ, +,·, exp)
- Lolli, G., Longo, G., Marcja, A. eds, Amsterdam, Elsevier
- (1984) Logic Colloquium '82 , pp. 97-121
- Van den Dries, L.¹

36
- 0003617262
- New York, Cambridge University Press
- (1998) Tame Topology and O-minimal Structures
- Van den Dries, L.¹

37
- 0006762875
- A new approach to quantifier elimination for real algebra
- Germany, Universität Passau
- (1993) Technical Report MIP-9305
- Weispfenning, V.¹

38
- 85031479180
- Deciding linear-transcendental problems
- Germany, Universität Passau
- (2000) Technical Report MIP-0005
- Weispfenning, V.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.