Automatic verification of control system implementations.
Adolfo Anta MartinezRupak MajumdarIndranil SahaPaulo TabuadaPublished in: EMSOFT (2010)
Keyphrases
- control system
- fuzzy logic
- control algorithm
- process control
- control law
- control scheme
- databases
- matlab simulation
- dc motor
- controller design
- fuzzy control
- fuzzy controller
- control strategy
- closed loop
- hidden markov models
- real environment
- real time
- efficient implementation
- hardware and software
- control method
- virtual environment
- knowledge base
- information systems
- social networks
- control architecture
- intelligent control
- artificial intelligence
- genetic algorithm
- control loop