SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

IEEE International Symposium on Intelligent Control - Proceedings

Volumn , Issue , 2001, Pages 150-155

Verification of hybrid controlled processing systems based on decomposition and deduction

(5) Frehse, Goran a Stursberg, Olaf a Engell, Sebastian a Huuck, Ralf a Lukoschus, Ben a

a TU DORTMUND UNIVERSITY (Germany)

Author keywords

Abstraction; Assumption Commitment; Deductive Analysis; Discrete Controller; Hybrid System; Verification

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; AUTOMATA THEORY; MATHEMATICAL MODELS;

HYBRID CONTROLLED PROCESSING SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035687133 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (2)

References (23)

1
- 0002854495
- Approaches to the formal verification of hybrid systems
- (2001) Automatisierungstechnik , vol.49 , Issue.2 , pp. 66-74
- Kowalewski, S.¹ Herrmann, P.² Engell, S.³ Huuck, R.⁴ Krumm, H.⁵ Lakhnech, Y.⁶ Lukoschus, B.⁷ Treseler, H.⁸

2
- 85037030721
- Design and synthesis of synchronization skeletons for branching time temporal logic
- Logics of Programs Workshop, Dexter Kozen, Ed., Springer
- (1982) LNCS , vol.131 , pp. 52-71
- Clarke, E.M.¹ Emerson, E.A.²

3
- 0020299274
- Specification and verification of concurrent systems in CESAR
- th Int. Symp. on Programming, Springer
- (1982) LNCS , vol.137 , pp. 337-351
- Queille, J.P.¹ Sifakis, J.²

4
- 84957691729
- Verification of real-time chemical processing systems
- Hybrid and Real-Time Systems, Springer
- (1997) LNCS , vol.1201 , pp. 259-272
- Turk, A.L.¹ Probst, S.T.² Powers, G.J.³

5
- 0026617165
- Automatic verification of sequential control systems using temporal logic
- (1992) AIChE Journal , vol.38 , Issue.1 , pp. 67-75
- Moon, I.¹ Powers, G.J.² Burch, J.R.³ Clarke, E.M.⁴

6
- 0034606760
- Formal verification of sequence controllers
- (2000) Comp. and Chemical Engineering , vol.23 , pp. 1783-1793
- Park, T.¹ Barton, P.I.²

7
- 0033097305
- Verification of logic controllers for continuous plants using timed condition/event system models
- (1999) Automatics , vol.35 , Issue.3 , pp. 505-518
- Kowalewski, S.¹ Engell, S.² Preussig, J.³ Stursberg, O.⁴

8
- 84949433135
- Verification of polyhedralinvariant hybrid automata using polygonal flow pipe approximation
- Hybrid Systems: Computation and Control, Springer
- (1999) LNCS , vol.1569 , pp. 76-99
- Chutinan, A.¹ Krogh, B.H.²

9
- 84957870468
- Reachability analysis via face lifting
- Hybrid Systems - Computation and Control (HSCC98), Springer
- (1998) LNCS , vol.1386 , pp. 96-109
- Dang, T.¹ Maler, O.²

10
- 0002253506
- Analysis of switched continuous systems based on discrete approximation
- (2000) th Int. Conf. on Automation of Mixed Processes , pp. 73-78
- Stursberg, O.¹

11
- 0001068806
- Continuous-discrete interactions in chemical processing plants
- (2000) Proceedings of the IEEE , vol.88 , Issue.7 , pp. 1050-1068
- Engell, S.¹ Kowalewski, S.² Schulz, C.³ Stursberg, O.⁴

12
- 0019596077
- Proofs of networks of processes
- (1981) IEEE Transactions on Software Engineering , vol.7 , Issue.7 , pp. 417-426
- Misra, J.¹ Chandy, K.M.²

13
- 0038357007
- In transition for global to modular temporal reasoning about programs
- Logics and Models of Concurrent Systems, Springer
- (1984) NATO ASI-F , vol.13
- Pnueli, A.¹

14
- 84976854012
- Conjoining specification
- (1995) ACM Transactions on Programming Languages and Systems , vol.17 , Issue.3 , pp. 507-534
- Abadi, M.¹ Lamport, L.²

15
- 84949223394
- Compositional verification of real-time applications
- Proc. Compositionality - The Significant Difference, Springer
- (1997) LNCS , vol.1536 , pp. 276-300
- Hooman, J.¹

16
- 0027969856
- Compositional verification of real-time systems
- (1994) th IEEE Symp. Logic in Computer Science , pp. 458-465
- Pnueli, A.¹ Chang, E.² Manna, Z.³

17
- 84957871339
- Modularity for timed and hybrid systems
- Proc. of the 8th Int. Conf. on Concurrency Theory, Springer
- (1997) LNCS , vol.1243 , pp. 74-88
- Alur, R.¹ Henzinger, T.A.²

18
- 84863971672
- You assume, we guarantee: Methodology and case studies
- th Int. Conf. on Computer-Aided Verification, Springer
- (1998) LNCS , vol.1427 , pp. 440-451
- Henzinger, T.A.¹ Qadeer, S.² Rajamani, S.K.³ Tasiran, S.⁴

19
- 25144486118
- Automating modular verification
- th Int. Conf. on Concurrency Theory, Springer
- (1999) LNCS , vol.1664 , pp. 82-97
- Alur, R.¹ De Alfaro, L.² Henzinger, T.A.³ Mang, F.Y.C.⁴

20
- 0007733881
- Decidable hybrid systems
- Grenoble
- (1998) Proc.: School on Computational Aspects and Applications of Hybrid Systems
- Lafferriere, G.¹ Pappas, G.J.² Yovine, S.³

21
- 0029181195
- On the complexity of modular model checking
- (1995) th IEEE Symp. on Logic in Computer Science , pp. 101-111
- Kupferman, O.¹ Vardi, M.Y.²

22
- 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.⁹

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

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