Abstract

Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets
Yifan Dong ... Naiqi Wu
IEEE transactions on systems, man, and cybernetics. Part A, Systems and humans : a publication of the IEEE Systems, Man, and Cybernetics Society | VOL. 52
Yifan Dong, et. al.Yifan Dong ... Naiqi Wu
01 Dec 2022
Verification of State-Based Opacity Using Petri Nets
Yin Tong ... Carla Seatzu
IRE Transactions on Automatic Control | VOL. 62
Yin Tong, et. al.Yin Tong ... Carla Seatzu
01 Jun 2017
Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs
Haoming Zhu ... Amir M. Fathollahi-Fard
Mathematics | VOL. 11
Haoming Zhu, et. al.Haoming Zhu ... Amir M. Fathollahi-Fard
10 Apr 2023
Verification and enforcement of current-state opacity based on a state space approach
Yingrui Zhou ... Zhongxin Liu
European Journal of Control | VOL. 71
Yingrui Zhou, et. al.Yingrui Zhou ... Zhongxin Liu
27 Feb 2023
View more papers

More From: IEEE Transactions on Automation Science and Engineering

Paper Title
Journal
Date
Author
An Integrated Deep Learning-Based Data Fusion and Degradation Modeling Method for Improving Prognostics
Di Wang ... Kaibo Liu
IEEE Transactions on Automation Science and Engineering | VOL. 21
Di Wang, et. al.Di Wang ... Kaibo Liu
01 Apr 2024
Measuring Color Index of Transformer Oil–Enabling Single-Wavelength Spectroscopy With Artificial Neural Network-Fuzzy Logic Model
M H Hasnul Hadi ... M A Hannan
IEEE Transactions on Automation Science and Engineering | VOL. 21
M H Hasnul Hadi, et. al.M H Hasnul Hadi ... M A Hannan
01 Apr 2024
Data-Driven Virtual Sensing for Probabilistic Condition Monitoring of Solenoid Valves
Victor Vantilborgh ... Tom Lefebvre
IEEE Transactions on Automation Science and Engineering | VOL. 21
Victor Vantilborgh, et. al.Victor Vantilborgh ... Tom Lefebvre
01 Apr 2024
Proximal Policy Optimization With Time-Varying Muscle Synergy for the Control of an Upper Limb Musculoskeletal System
Rong Liu ... Yin Liu
IEEE Transactions on Automation Science and Engineering | VOL. 21
Rong Liu, et. al.Rong Liu ... Yin Liu
01 Apr 2024
View more papers