Determining the Specification of a Control System: An Illustrative Example.
Joey W. ColemanPublished in: RODIN Book (2006)
Keyphrases
- control system
- control law
- closed loop
- high level
- control strategy
- fuzzy logic
- real time
- dc motor
- provably correct
- control algorithm
- information retrieval
- case study
- formal specification
- specification language
- real environment
- speed control
- information systems
- pid controller
- neural network
- process control
- databases
- database