Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN.

Kazumi Nakamatsu Toshiaki Imai Haruhiko Nishimura

Published in: ACIIDS (1) (2011)

Keyphrases

intelligent systems
control system
safety analysis
logic programs
model checking
artificial intelligence
real time
social networks
computer vision
databases
search engine
information systems
knowledge base
website
decision support
discrete event