SCOPUS 정보 검색 플랫폼

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2001, Pages 2887-2892

Some lessons from the HYTECH experience

(3) Henzinger, Thomas A a Preußig, Jörg a Wong Toi, Howard a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; DIGITAL CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; POLYNOMIALS; PROGRAM DEBUGGING; VISUALIZATION;

HYBRID SYSTEMS;

EMBEDDED SYSTEMS;

EID: 0035712201 PISSN: 01912216 EISSN: None Source Type: Journal
DOI: 10.1109/CDC.2001.980714 Document Type: Article

Times cited : (34)

References (40)

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

2
- 84974663202
- Modular specifications of hybrid systems in CHARON
- LNCS 1790, Springer
- (2000) HSCC 2000: Hybrid Systems-Computation and Control , pp. 6-19
- Alur, R.¹ Grosu, R.² Hur, Y.³ Kumar, V.⁴ Lee, I.⁵

3
- 84974731232
- Approximate reachability analysis of piecewise-linear dynamical systems
- LNCS 1790, Springer
- (2000) HSCC 2000: Hybrid Systems - Computation and Control , pp. 20-31
- Asarin, E.¹ Dang, T.² Maler, O.³ Bournez, O.⁴

4
- 0000495058
- Analyzing partially-implemented real-time systems
- (1998) IEEE Trans. on Software Engineering , vol.24 , Issue.8 , pp. 602-614
- Avrunin, G.S.¹ Corbett, J.C.² Dillon, L.K.³

5
- 0031384112
- Cut-off in engine control: A hybrid system approach
- (1997) Proc. of the 36th IEEE Conf. on Decision and Control
- Balluchi, A.¹ Benedetto, M.D.² Pinello, C.³ Rossi, C.⁴ Sangiovanni-Vincentelli, A.⁵

6
- 84957101951
- Automated verification of a parametric real-time program: The ABR conformance protocol
- LNCS 1633, Springer
- (1999) CAV 99: Computer Aided Verification , pp. 96-107
- Bérard, B.¹ Fribourg, L.²

7
- 79952517375
- Reachability analysis of (timed) Petri nets using real arithmetic
- LNCS 1664, Springer
- (1999) CONCUR 99: Concurrency Theory , pp. 178-193
- Bérard, B.¹ Fribourg, L.²

8
- 84974735953
- Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations
- LNCS 1790, Springer
- (2000) HSCC 2000: Hybrid Systems - Computation and Control , pp. 73-88
- Botchkarev, O.¹ Tripakis, S.²

9
- 84949433135
- Verification of polyhedral-invariant hybrid automaton using polygonal flow pipe approximation
- LNCS 1569, Springer
- (1999) HSCC 99: Hybrid Systems-Computation and Control , pp. 76-90
- Chutinan, A.¹ Krogh, B.H.²

10
- 0001425951
- Timing analysis of Ada tasking programs
- (1996) IEEE Trans. on Software Engineering , vol.22 , Issue.7 , pp. 461-483
- Corbett, J.C.¹

11
- 84944400032
- Automatic verification of parameterized cache coherence protocols
- LNCS 1855, Springer
- (2000) CAV 2000: Computer aided verification , pp. 53-68
- Delzanno, G.¹

12
- 0031185496
- Modeling and verifying active structure control systems
- July
- (1997) Sci. of Computer Programming , vol.29 , Issue.1-2 , pp. 99-122
- Elseaidy, W.M.¹ Cleaveland, R.² Baugh, J.W.³

13
- 84957378362
- Verifying safety properties of differential equations
- LNCS 1102, Springer
- (1996) CAV 96: Computer Aided Verification , pp. 277-287
- Greenstreet, M.R.¹

14
- 84947978347
- Delay analysis in synchronous programs
- LNCS 697, Springer
- (1993) CAV 93: Computer-aided Verification , pp. 333-346
- Halbwachs, N.¹

15
- 84879088368
- Masaccio: A formal model for embedded components
- LNCS 1872, Springer
- (2000) TCS 00: Theoretical Computer Science , pp. 549-563
- Henzinger, T.A.¹

16
- 0039819725
- A note on abstract- interpretation strategics for hybrid automata
- LNCS 999, Springer
- (1995) Hybrid Systems , vol.2 , pp. 252-264
- Henzinger, T.A.¹ Ho, P.-H.²

17
- 0001194874
- Using HYTECH to synthesize control parameters for a steam boiler
- LNCS 1165, Springer
- (1996) Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control , pp. 265-282
- Henzinger, T.A.¹ Wong-Toi, H.²

18
- 84860691841
- A user guide to HYTECH
- LNCS 1019, Springer
- (1995) TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems , pp. 41-71
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

19
- 84896819101
- HYTECH: A model checker for hybrid systems
- (1997) Software Tools for Technology Transfer , vol.1 , Issue.1 , pp. 110-122
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

20
- 0032050207
- Algorithmic analysis of nonlinear hybrid systems
- (1998) IEEE Trans. on Automatic Control , vol.43 , Issue.4 , pp. 540-554
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

21
- 84974691253
- Beyond HYTECH: Hybrid systems analysis using interval numerical methods
- LNCS 1790, Springer
- (2000) HSCC 2000: Hybrid Systems - Computation and Control , pp. 130-144
- Henzinger, T.A.¹ Horowitz, B.² Majumdar, R.³ Wong-Toi, H.⁴

22
- 84944200168
- Assume-guarantee reasoning for hierarchical hybrid systems
- LNCS 2034, Springer
- (2001) HSCC 2001: Hybrid Systems - Computation and Control , pp. 275-290
- Henzinger, T.A.¹ Minea, M.² Prabhu, V.³

23
- 84947909019
- Automated analysis of an audio control protocol
- LNCS 939, Springer
- (1995) CAV 95: Computer-Aided Verification , pp. 381-394
- Ho, P.-H.¹ Wong-Toi, H.²

24
- 84948991684
- Scheduling system verification
- LNCS 1579, Springer
- (1999) TACAS 99: Tools and Algorithms for the Construction and Analysis of Systems , pp. 19-33
- Hsiung, P.-A.¹ Wang, F.² Kuo, Y.-S.³

25
- 85013982505
- Modeling and verification of biphase mark protocols in duration calculus using PVS
- IEEE Computer Society Press
- (1997) Proc. of 1998 Intl. Conf. on Application of Concurrency to System Design , pp. 88-98
- Hung, D.V.¹

26
- 4243658947
- Tech. Report CSI-R9915, Computing Science Institute, Univ. of Nijmegen, The Netherlands
- (1999) Verification of a biphase mark protocol
- Ivanov, S.¹ Griffioen, D.²

27
- 11544290464
- Using model-checking for timed automata to parameterize logic control programs
- (1998) Proc. of the 8th European Symp. on Computer Computer Aided Process Engineering (ESCAPE 8)
- Kowalewski, S.¹ Engell, S.² Huuck, R.³ Lakhnech, Y.⁴ Lukoschus, B.⁵ Urbina, L.⁶

28
- 0008375542
- A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem
- LNCS 1567, Springer
- (1999) Hybrid Systems , vol.5 , pp. 163-185
- Kowalewski, S.¹ Stursberg, O.² Fritz, M.³ Graf, H.⁴ Hoffmann, I.⁵ Preußig, J.⁶ Remelhe, M.⁷ Simon, S.⁸ Treseler, H.⁹

29
- 84974725120
- Level set methods for computation in hybrid systems
- LNCS 1790, Springer
- (2000) HSCC 2000: Hybrid Systems - Computation and Control , pp. 310-323
- Mitchell, I.¹ Tomlin, C.²

30
- 0008337043
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
- (1994) Formal Aspects of Computing , vol.6 , Issue.1 , pp. 60-91
- Moore, J.S.¹

31
- 0004293209
- Prentice-Hall
- (1966) Interval Analysis
- Moore, R.¹

32
- 84861812818
- An algorithm for the approximative analysis of rectangular automata
- LNCS 1486, Springer
- (1998) FTRTFT 98: Formal Techniques for Real-time and Fault-tolerant Systems , pp. 228-240
- Preußig, J.¹ Kowalewski, S.² Wong-Toi, H.³ Henzinger, T.A.⁴

33
- 84949444153
- Reach- ability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis
- LNCS 1569, Springer
- (1999) HSCC 99: Hybrid Systems-Computation and Control , pp. 209-222
- Preußig, J.¹ Stursberg, O.² Kowalewski, S.³

34
- 0034546145
- A procedure for reach- ability analysis of rectangular automata
- (2000) Proc. of American Control Conference , pp. 1674-1678
- Preußig, J.¹ Wong-Toi, H.²

35
- 0008337045
- Towards using hybrid automata for the mission planning of unmanned aerial vehicles
- LNCS 1567, Springer
- (1997) Hybrid Systems , vol.5 , pp. 324-340
- Seibel, C.W.¹ Farines, J.-M.² Cury, J.E.R.³

36
- 0034540185
- Formal verification of hybrid systems using CheckMate: A case study
- (2000) Proc. of the American Control Conference , pp. 1679-1683
- Silva, B.I.¹ Krogh, B.H.²

37
- 84957688495
- Using HYTECH to verify an automotive control system
- LNCS 1201, Springer
- (1997) HART 97: Hybrid and Real-Time Systems , pp. 139-153
- Stauner, T.¹ Müller, O.² Fuchs, M.³

38
- 84903173401
- (2001) Analysis of a biphase mark protocol with UPPAAL
- Vaandrager, F.¹

39
- 0032279514
- Formal verification of an automotive engine controller in cutoff mode
- (1998) Proc. of 37th IEEE Conf. on Decision and Control , pp. 4271-4276
- Villa, T.¹ Wong-Toi, H.² Balluchi, A.³ Preußig, J.⁴ Sangiovanni-Vincentelli, A.⁵ Watanabe, Y.⁶

40
- 0033324349
- Modular verification of a fault-tolerant active control system: An example
- (1999) CACSD 99: Proc. of IEEE Conf. on Computer-aided Control System Design , pp. 103-108
- Wong-Toi, H.¹

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