Formal Design and Verification of Zone Controller.

Jie Qian Jing Liu Xiang Chen Junfeng Sun

Published in: APSEC (1) (2014)

Keyphrases

real time
design process
formal methods
case study
genetic algorithm
user interface
formal verification
model checking
design decisions
controller design
optimal design
control method
optimal control
engineering design
knowledge based systems
mobile robot
data sets