Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.
Anne-Kathrin SchmuckSven SchneiderJörg RaischUwe NestmannPublished in: Discret. Event Dyn. Syst. (2016)
Keyphrases
- context free
- specification languages
- supervisory control
- formal specification
- data acquisition
- context dependent
- context sensitive
- discrete event
- power grid
- grammatical inference
- context free grammars
- finite state
- inductive inference
- first order logic
- model checking
- control architecture
- neural network
- low cost
- parse tree
- human operators
- data processing
- monitoring system
- database
- power system
- markov chain
- fault detection and diagnosis
- natural language
- high speed