Algorithm and an Elevator Control System Example for CTL Model Update.

Laura Florentina Cacovean Iulian Pah Emil Marin Popa Cristina Ioana Brumar

Published in: ICE-B (2008)

Keyphrases

control system
np hard
databases
computational complexity
dynamic programming
database
real time
search space