Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming.
Francesco BasileGianmaria De TommasiCarlo MottaAlberto PetrilloStefania SantiniPublished in: MED (2022)
Keyphrases
- integer linear programming
- initial state
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- column generation
- model based diagnosis
- state space
- discrete event
- situation calculus
- optimal policy
- markov chain
- probability distribution
- cutting plane
- global constraints
- average cost
- temporal constraints
- simulation model
- dynamical systems
- linear programming
- multi agent systems
- constraint programming
- markov decision processes
- heuristic search