共 50 条
[1]
Modeling and verification of temporary speed restriction of CTC-S3 train control system
[J].
Xinan Jiaotong Daxue Xuebao,
2013, 4 (708-714)
:708-714
[2]
Analysis of abnormal braking of CTCS-3 train control system based on timed automata
[J].
2017 CHINESE AUTOMATION CONGRESS (CAC),
2017,
:5531-5536
[5]
Fault diagnosis based on timed automata: Diagnoser verification
[J].
2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2,
2006,
:889-+
[6]
Timed automata approach to real time distributed system verification
[J].
WFCS 2004: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS,
2004,
:407-410
[7]
Formal verification of multitasking applications based on timed automata model
[J].
Real-Time Systems,
2008, 38
:39-65
[9]
Control System Design for Height Measurement of BGA Balls Based on Timed Automata
[J].
IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY,
2014, 4 (03)
:528-537
[10]
Timed Automata Supervisory Control of a Glass Bonding System
[J].
IFAC PAPERSONLINE,
2017, 50 (01)
:12345-12350