Synthesis of interface controllers from timing diagram specifications.
Abdelhalim El-AboudiEl Mostapha AboulhamidEduard CernyPublished in: CICC (1998)
Keyphrases
- control system
- controller synthesis
- user interface
- program synthesis
- formal specification
- controller design
- high level
- reinforcement learning
- friendly interface
- interface design
- user friendly
- asynchronous circuits
- delay insensitive
- specification language
- functional requirements
- state transition
- state space
- natural language interface
- control law
- uml activity diagrams
- operational semantics
- databases
- texture synthesis
- control strategy
- software development
- relational databases
- website
- genetic algorithm