2 citations · 5 across the 6 of their papers we have counts for
5 papers · 1 filter
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
Xi Zheng, Ivan Ruchkin, Hong Jin Kang +11
Learning-enabled cyber-physical systems (CPS), including autonomous vehicles and UAVs, increasingly incorporate foundation models, yet fragmented assurance practices provide insuff…
Robust Evacuation for Multi-Drone Failure in Drone Light Shows
Minhyuk Park, Aloysius K. Mok, Tsz-Chiu Au
Drone light shows have emerged as a popular form of entertainment in recent years. However, several high-profile incidents involving large-scale drone failures -- where multiple dr…
SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers
Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K Mok
Robot programming typically makes use of a set of mechanical skills that is acquired by machine learning. Because there is in general no guarantee that machine learning produces ro…
Web Based Teleoperation of a Humanoid Robot
Chien Liang Fok, Fei Sun, Matt Mangum +3
The Cloud-based Advanced Robotics Laboratory (CARL) integrates a whole body controller and web-based teleoperation to enable any device with a web browser to access and control a h…
ControlIt! - A Software Framework for Whole-Body Operational Space Control
C. -L. Fok, G. Johnson, J. D. Yamokoski +2
Whole Body Operational Space Control (WBOSC) is a pioneering algorithm in the field of human-centered Whole-Body Control (WBC). It enables floating-base highly-redundant robots to…