Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints.
Xiaoyan LiChristoforos N. HadjicostisZhiwu LiPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- discrete event
- failure diagnosis
- programming language
- timed petri nets
- model based diagnosis
- constraint language
- natural language
- language learning
- database
- dynamic systems
- foreground and background
- algebraic operations
- derivation rules
- constraint programming
- constraint satisfaction
- object oriented
- multi agent systems
- data streams
- high level
- monadic second order logic
- databases