Formal Verification of Logic Control Systems with Nondeterministic Behaviors S Alwi, Y Fujimoto IEEJ Journal of Industry Applications 2 (6), 306-314, 2013 | 3 | 2013 |
Verification and Validation of Logic Control Systems by Model Checking S bin Alwi Ph. D Thesis, Yokohama National University, 2013 | 2 | 2013 |
Safety property comparison between Gröbner bases and BDD-based model checking method S Alwi, Y Fujimoto 2014 13th International Conference on Control Automation Robotics & Vision …, 2014 | 1 | 2014 |
On a safety of sequential control system based on Gro¨ bner bases computation S Alwi, Y Fujimoto ICCAS 2010, 23-28, 2010 | 1 | 2010 |
Dependability Analysis of Logic Controller Based on Formal Verification Procedures S Alwi, N Jaafar Journal of Telecommunication, Electronic and Computer Engineering (JTEC) 10 …, 2018 | | 2018 |
A Gröbner bases approach for safety evaluation of logic control system S bin Alwi, Y Fujimoto 2010 8th IEEE International Conference on Industrial Informatics, 1073-1078, 2010 | | 2010 |
Implementation of IEC 61499 function blocks for conveyor sorter NIAM Ridza, S Alwi | | |
A Proposed Conveyor Sorter Model by Using Object-Oriented Petri Nets Approach NA Kamarudzaman, S Alwi, HA Kasdirin | | |