Aloysius K. Mok

Dr. Mok is currently conducting fundamental research in the area of distributed real-time systems. His primary concerns include specification techniques for real-time systems, algorithms for guaranteeing stringent timing constraints and understanding the trade-off between the robustness and response times of time-critical systems. The goal is to develop a formal framework for automating the analysis and synthesis of robust real-time systems. Application areas include robot control systems, avionics software and industrial process control systems. Funding is being provided by the Office of Naval Research to develop a highly automated design environment for real-time systems.


Research Areas:
Research Interests: 
  • Cyber-physical systems
  • Fault-tolerant hard-real-time systems
  • System architecture
  • Computer-aided system design tools
  • Software engineering

Select Publications

PC Huang, L Sentis, J Lehman, CL Fok, AK Mok, R Miikkulainen. OCT 10 2018. Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework. ACM.
Yi-Hung Wei, Quan Leng, Wei-Ju Chen, Aloysius K Mok, Song Han. Oct 1 2018. Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked. AMC.
Pei-Chi Huang, Aloysius K Mok. Aug 28 2018. A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. IEEE. 22-31.
Lixun Zhang, Timothy Phillips, Aloysius Mok, Daniel Moser, Joseph Beaman. AUG 24 2018. Automatic Laser Control System for Selective Laser Sintering. IEEE.
Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K Mok. JUL 7 2018. A Skill-Based Programming System for Robotic Furniture Assembly. IEEE.