Supervisory controller synthesis for decomposable deterministic context free specification languages.
Kaushik MallikAnne-Kathrin SchmuckPublished in: WODES (2016)
Keyphrases
- context free
- specification languages
- controller synthesis
- control system
- formal specification
- context sensitive
- context dependent
- grammatical inference
- closed loop
- finite state
- inductive inference
- first order logic
- context free grammars
- control algorithm
- multi agent
- model checking
- control strategy
- artificial intelligence
- neural network
- reverse engineering
- database
- pattern matching
- parse tree
- information retrieval