Close

Organization

East China Normal University
Contributors
Mingsong Chen
Leilei Huang
Mengxin Ren
DengKe Yan
Yanxin Yang
Zhengfeng Yang
Presentations
Research Manuscript
Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates
2:15pm - 2:30pm PDT Tuesday, June 24 3008, Level 3
Systems
SYS1: Autonomous Systems (Automotive, Robotics, Drones)
SYS2: Design of Cyber-Physical Systems and IoT
Research Manuscript
MAS-ISP: A Proxy-Free Online Hyperparameter Optimization Framework for ISP Hardware System
2:45pm - 3:00pm PDT Tuesday, June 24 3008, Level 3
Systems
SYS1: Autonomous Systems (Automotive, Robotics, Drones)
Research Manuscript
MMDFL: Multi-Model-based Decentralized Federated Learning for Resource-Constrained AIoT Systems
4:00pm - 4:15pm PDT Wednesday, June 25 3006, Level 3
Systems
SYS4: Embedded System Design Tools and Methodologies