Specification of timing constraints for controller synthesis.
Rumi ZahirWolfgang FichtnerPublished in: EURO-DAC (1991)
Keyphrases
- timing constraints
- controller synthesis
- real time databases
- real time systems
- autonomic computing systems
- active databases
- embedded devices
- real time database systems
- execution model
- concurrency control
- real time
- active rules
- closed loop
- resource constraints
- control system
- multi agent
- control algorithm
- transaction processing
- dynamical systems
- access control
- mobile devices
- controller design
- fine grained