相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Verification of Detectability for Unambiguous Weighted Automata
Aiwen Lai et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2021)
Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment
Yong Zhang et al.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2019)
State estimation of max-plus automata with unobservable events
Aiwen Lai et al.
AUTOMATICA (2019)
Exposure Time as a Measure of Opacity in Timed Discrete Event Systems
Dimitri Lefebvre et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis
Dimitri Lefebvre et al.
2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019) (2019)
The Opacity of Real-Time Automata
Lingtai Wang et al.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2018)
Verification of State-Based Opacity Using Petri Nets
Yin Tong et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Finding minimum and maximum termination time of timed automata models with cyclic behaviour
Omar Al-Bataineh et al.
THEORETICAL COMPUTER SCIENCE (2017)
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Francesco Basile et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
A survey of timed automata for the development of real-time systems
Md Tawhid Bin Waez et al.
COMPUTER SCIENCE REVIEW (2013)
Undecidability Results for Timed Automata with Silent Transitions
Patricia Bouyer et al.
FUNDAMENTA INFORMATICAE (2009)
Opacity generalised to transition systems
Jeremy W. Bryans et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
Neural-network-based motor rolling bearing fault diagnosis
B Li et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2000)