Conference Papers

  1. Penghong Lu, Gang Chen, Requirement Mining from Closed-Loop Control Models via Human-Computer Collaboration, 2024 4th International Conference on Computer, Control and Robotics (ICCCR), Shanghai, China, 2024.

  2. Gang Chen, Penghong Lu, Fault-Tolerant Synthesis for Multi-process Systems via Resource Sharing: A Discrete-Event Approach, 2024 4th International Conference on Computer, Control and Robotics (ICCCR), Shanghai, China, 2024.

  3. Gang Chen, Yu Lu and Rong Su, Control Synthesis of Energy Harvesting MEMS Devices with Load-based Spectral Logic Specifications, 2022 IEEE 17th International Conference on Control & Automation (ICCA), GuangZhou, China, 2022.

  4. Gang Chen, Yu Lu and Rong Su, Fault tolerance makespan synthesis in multi-process systems via resource sharing and backtracking, 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic, 2022.

  5. Gang Chen, Mei Liu and Zhaodan Kong, Semantic inference for cyber-physical systems with signal temporal logic, 58th IEEE Conference on Decision and Control (CDC), Nice, France, 2019.

  6. Gang Chen, Zachary Sabato, and Zhaodan Kong, Semantic parsing of automobile steering systems, International Workshop on Human-in-Loop Internet of Things Systems(HiL-IoT), Santa Barbara, CA, 2018.

  7. Gang Chen and Zhaodan Kong, Data-driven approximate abstraction for black-box piecewise affine systems, American Control Conference (ACC), Milwaukee, WI, 2018.

  8. Gang Chen and Zhaodan Kong, Correct-by-construction approachfor self-evolvable robots, IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Cleveland, OH, 2017.

  9. Gang Chen, Zachary Sabato, and Zhaodan Kong, Active learning based requirement mining for cyber physical systems, 55th IEEE Conference on Decision and Control (CDC), Las Vegas, NV, 2016.