Real-time Property Preservation in Approximations of Timed Systems.
Jinfeng HuangJeroen VoetenMarc GeilenPublished in: MEMOCODE (2003)
Keyphrases
- real time
- telecommunication systems
- real time systems
- learning systems
- expert systems
- petri net
- complex systems
- digital libraries
- management system
- high speed
- building blocks
- knowledge based systems
- computer systems
- intelligent systems
- vision system
- distributed systems
- multi agent systems
- reinforcement learning
- image sequences
- decision making
- computer vision
- search engine
- databases