Skip to main content

Aloysius K. Mok

Professor

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

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.

Contact Info

Aloysius K. Mok
Professor, Quincy Lee Centennial Professorship In Computer Science
Homepage
(512) 471-9542
mok@cs.utexas.edu
GDC 6.512
TTH 3:30 PM - 4:30 PM
CV