Noninterference Enforcement via Supervisory Control in Bounded Petri Nets.
Francesco BasileGianmaria De TommasiClaudio SterlePublished in: IEEE Trans. Autom. Control. (2021)
Keyphrases
- petri net
- supervisory control
- data acquisition
- discrete event
- power grid
- petri net model
- discrete event systems
- human operators
- control architecture
- control system
- security policies
- dynamic systems
- access control
- fuzzy petri net
- colored petri nets
- fault detection and diagnosis
- simulation model
- service composition
- complex systems
- neural network
- stochastic petri net
- data collection
- fuzzy logic