Verification of State-Based Opacity Using Petri Nets

Yin Tong, Zhiwu Li, Carla Seatzu, +1

IEEE Transactions on Automatic Control

Petri NetEngineeringReachability ProblemInformation SecurityVerification +17

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Ziyue Ma, Yin Tong, Zhiwu Li, +1

IEEE Transactions on Automatic Control

Petri NetReachability AnalysisEngineeringReachability ProblemFormal Modeling +12

Current-state opacity enforcement in discrete event systems under incomparable observations

Yin Tong, Zhiwu Li, Carla Seatzu, +1

Discrete Event Dynamic Systems

EngineeringDiscrete Event SystemState ObserverUncertainty QuantificationCurrent-state Opacity Enforcement +7

On the Equivalence of Observation Structures for Petri Net Generators

Yin Tong, Zhiwu Li, Alessandro Giua

IEEE Transactions on Automatic Control

Petri NetEngineeringReachability ProblemFormal ModelingAutomated Reasoning +10

Decidability of opacity verification problems in labeled Petri net systems

Yin Tong, Zhiwu Li, Carla Seatzu, +1

Automatica

Petri NetOpacity Verification ProblemsEngineeringReachability ProblemVerification +7

Fast-speed, Highly Sensitive, Flexible Humidity Sensors Based on a Printable Composite of Carbon Nanotubes and Hydrophilic Polymers

Su Ding, Yin Tong, Shucheng Zhang, +9

Langmuir

Smart TextileEngineeringMechanical EngineeringWearable SensorsBiomedical Engineering +16

Verification of language-based opacity in Petri nets using verifier

Yin Tong, Ziyue Ma, Zhiwu Li, +2

Petri NetEngineeringInformation SecurityLanguage OpacityVerification +15

Detection and Prevention of Cyber-Attacks in Networked Control Systems

Yike Li, Yin Tong, Alessandro Giua

IFAC-PapersOnLine

Verification of initial-state opacity in Petri nets

Yin Tong, Zhiwu Li, Carla Seatzu, +1

Petri NetEngineeringReachability ProblemDiscrete Event SystemsVerification +14

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e132" altimg="si3.svg"><mml:mi mathvariant="double-struck">Q</mml:mi></mml:math>-learning algorithm in solving consensusability problem of discrete-time multi-agent systems

Tao Feng, Jilie Zhang, Yin Tong, +1

Automatica

Math XmlnsDiscrete-time Multi-agent SystemsDistributed Problem SolvingComputer ScienceMulti-agent Learning +3