In this paper, we introduce the basic idea of a multi-car elevator safety verification based on an paraconsistent annotated logic program called EVALPSN with taking a three-car/shaft elevator system as an example for the safety verification. The EVALPSN based multi-car elevator safety verification system is constructed by formalizing the system safety properties to be secured in EVALPSN. © 2011 Springer Berlin Heidelberg.
CITATION STYLE
Nakamatsu, K., Imai, T., & Nishimura, H. (2011). Intelligent safety verification for multi-car elevator system based on EVALPSN. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6591 LNAI, pp. 496–505). Springer Verlag. https://doi.org/10.1007/978-3-642-20039-7_50
Mendeley helps you to discover research relevant for your work.