SCOPUS 정보 검색 플랫폼

Volumn 1, Issue , 2001, Pages 99-104

Safeness-enforcing supervisory control for railway networks

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COLLISION AVOIDANCE; PETRI NETS; SCADA SYSTEMS; SENSORS;

RAILWAY NETWORKS;

RAILROAD TRACKS;

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

Times cited : (5)

References (15)

2
- 0004025558
- Modelling railway systems with hybrid Petri nets
- Reims, France, March
- (1998) Proc. 3rd Int. Conf. on Automation of Mixed Processes
- Decknatel, G.¹ Schnieder, E.²

3
- 0004143674
- Laurea Thesis, Dep. of Electrical and Electronic Engeneering, University of Cagliari, Italy, in italian
- (2000) Supervisory control of railway networks using Petri nets
- Diana, F.¹

4
- 0030085855
- A new two-level model for multiclass freeway traffic
- (1996) IEEE Trans. on Vehicular Technology , pp. 189-200
- Di Febbraro, A.¹ Ferrara, A.²

5
- 84874267738
- Predicate/transition nets
- W. Brauer, W. Reisig, and G. Rozenberg, editors, Lecture Notes in Computer Science, Springer Verlag
- (1987) Advances in Petri nets , vol.254-255
- Genrich, H.J.¹

6
- 0012786459
- Generalized mutual exclusion constraints for nets with uncontrollable transitions
- Chicago, USA, October
- (1992) Proc. IEEE Int. Conf. on Systems, Man & Cybernetics , pp. 974-979
- Giua, A.¹ Dicesare, F.² Silva, M.³

7
- 84872634191
- Supervisory Control of railway networks with Petri nets
- Orlando, Florida, submitted
- 40th IEEE Conf. on Decision and Control
- Giua, A.¹ Seatzu, C.²

8
- 0031118870
- A survey of Petri net methods for controlled discrete event systems
- (1997) Discrete Event Systems: Theory and Applications , vol.7 , pp. 151-190
- Holloway, L.E.¹ Krogh, B.H.² Giua, A.³

11
- 0023314258
- Safety analysis using Petri nets
- (1987) IEEE Trans. on Software Engineering , vol.13 , Issue.3 , pp. 386-397
- Levson, N.G.¹ Stolzy, J.L.²

12
- 0029734328
- Feedback control of Petri nets based on place invariants
- January
- (1996) Automatica , vol.32 , Issue.1 , pp. 15-28
- Moody, J.O.¹ Yamalidou, K.² Lemmon, M.D.³ Antsaklis, P.J.⁴

14
- 0024645936
- Petri nets: Properties, analysis and applications
- Proc., April
- (1989) Proc. IEEE , vol.77 , Issue.4 , pp. 541-580
- Murata, T.¹

15
- 0024479313
- Control of discrete-event systems
- January
- (1989) Proc. IEEE , vol.77 , Issue.1 , pp. 81-98
- Ramadge, P.J.¹ Wonham, W.M.²

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