Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation.
Gabriel KalyonTristan Le GallHervé MarchandThierry MassartPublished in: Discret. Event Dyn. Syst. (2012)
Keyphrases
- transition systems
- abstract interpretation
- model checking
- supervisory control
- temporal logic
- discrete event
- data acquisition
- concurrent systems
- finite state
- power grid
- termination analysis
- formal specification
- static analysis
- human operators
- control system
- active rules
- control flow
- reactive systems
- simulation model
- reverse engineering
- database
- autonomous agents
- distributed systems
- low cost
- multi agent