Managing Complexity in Real-Time Reactive Systems.

Vangalur S. Alagar Olga Ormandjieva Mao Zheng

Published in: ICECCS (2000)

Keyphrases

real time
reactive systems
real time systems
vision system
petri net
model checking
space complexity
artificial intelligence
computational complexity
worst case
training data
relational databases
low cost
temporal logic