Introduction to Intelligent Elevator Control Based on EVALPSN
In this paper, we introduce the basic idea of single-car/single-shaft elevator control based on EVALPSN. Car operation in the elevator system is logically verified by the EVALPSN representing the car operation properties.
KeywordsComplete Lattice Paraconsistent Logic Strong Negation Operation Policy Current Route
Unable to display preview. Download preview PDF.
- 4.Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. J. Advanced Computational Intelligence and Intelligent Informatics 10, 647–656 (2006)Google Scholar
- 5.Nakamatsu, K., Mita, Y., Shibata, T.: An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. J. Intelligent Automation and Soft Computing 13, 289–304 (2007)Google Scholar