Verification of a production cell controller using symbolic timing diagrams.
Rainer SchlörFranz KorfPublished in: EURO-DAC (1995)
Keyphrases
- asynchronous circuits
- model checking
- control system
- real time
- closed loop
- production planning
- production system
- adaptive control
- quality control
- signature verification
- production process
- controller design
- face verification
- pid controller
- fuzzy controller
- control algorithm
- control strategy
- high level
- raw material
- symbolic representation
- formal verification
- immune response
- feedback control
- control theory
- production cost
- graphical representation
- control law
- dynamic model
- neural network