Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Discrete-Event Systems
biblio
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems
Submitted by grigby1 on Fri, 05/12/2023 - 10:20am
pubcrawl
Human behavior
Human Factors
Scalability
privacy
estimation
Complexity theory
resilience
supervisory control
Discrete-Event Systems
Resiliency
Control Theory
biblio
Application of multi-fault diagnosis based on discrete event system in industrial sensor network
Submitted by aekwall on Tue, 03/08/2022 - 2:36pm
multiple fault diagnosis
Trajectory
Multiple Faults
fault diagnosis
Discrete event system
diagnosability
circuit breakers
Discrete-Event Systems
cyber-physical systems
Resiliency
Metrics
pubcrawl
Couplings
Analytical models
Circuit faults
Human Factors
biblio
Modeling and Control of Discrete Event Systems under Joint Sensor-Actuator Cyber Attacks
Submitted by aekwall on Mon, 12/20/2021 - 12:15pm
Metrics
supervisory control
sensors
Sensor Systems
Robot sensing systems
resilient control
Resiliency
pubcrawl
network security
actuator security
Human behavior
Discrete-Event Systems
discrete event systems
Cyber Attacks
composability
automation
actuators
biblio
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis
Submitted by aekwall on Mon, 02/08/2021 - 1:39pm
cyber-physical system
tunnels
system components
synthesis problem
supervisory controller
supervisor synthesis
required computational time
reduced order systems
model reduction steps
lengthy synthesis procedures
even unsolvable synthesis procedures
dependency graphs
Cyber Dependencies
Discrete-Event Systems
Scalability
discrete event systems
actuators
Compositionality
Human Factors
data visualisation
automata
sensors
cyber-physical systems
Analytical models
Metrics
graph theory
pubcrawl
Resiliency
biblio
Incremental Abstraction for Diagnosability Verification of Modular Systems
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
fault diagnosis
uncertain loops
simple detector automata
scalable production system
polynomial complexity
parallel lines
nonblocking
Modular systems
modular system
incremental abstraction
forbidden loops
Discrete-Event Systems
diagnosability verification
diagnosability
abstraction
scalable verification
Detectors
verification
formal verification
Compositionality
Predictive Metrics
Production systems
Scalability
automata
Complexity theory
computational complexity
control systems
feedback
Synchronization
pubcrawl
Resiliency
biblio
Supervisor Obfuscation Against Actuator Enablement Attack
Submitted by aekwall on Mon, 01/13/2020 - 12:18pm
actuator attackers
actuator security
supervisor obfuscation
SAT solvers
obfuscated supervisor
normality assumption
finite state machines
finite state automata
computability
closed loop systems
behavior-preserving supervisors
attackability
actuator enablement attack
security of data
Discrete-Event Systems
closed-loop system
actuator attacker
actuator attack
supervisory control
Metrics
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
biblio
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors
Submitted by aekwall on Mon, 01/13/2020 - 12:17pm
actuator attack model
actuator security
supremal successful normal actuator attackers
partial observation
normal supervisors
Discrete-Event Systems
discrete event systems
control command
closed-loop system
attackable events
actuator attacker
security of data
actuator attack
actuators
supervisory control
Metrics
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems
file
Synthesis of Decentralized Supervisors for Cyber-Physical Systems
Submitted by odom1979 on Fri, 05/16/2014 - 5:24pm. Contributor:
Xiang Yin
CPS Domains
Control
Resilient Systems
CPS Technologies
Foundations
Controller Synthesis
Decentralized Control
Discrete-Event Systems
University of Michigan at Ann Arbor
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Synthesis of Decentralized Supervisors for Cyber-Physical Systems
Submitted by odom1979 on Wed, 02/12/2014 - 4:59pm. Contributor:
Xiang Yin
CPS Domains
Control
CPS Technologies
Foundations
Controller Synthesis
Decentralized Control
Discrete-Event Systems
The University of Michigan
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
