14 citations · 108 across the 39 of their papers we have counts for
7 papers · 1 filter
A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions
Andrew Clark
Safety is a critical property for control systems in medicine, transportation, manufacturing, and other applications, and can be defined as ensuring positive invariance of a predef…
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Abdullah Al Maruf, Luyao Niu, Andrew Clark +2
Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults…
Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks
Luyao Niu, Zhouchi Li, Andrew Clark
We study the problem of synthesizing a controller to satisfy a complex task in the presence of sensor faults and attacks. We model the task using Gaussian distribution temporal log…
Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks
Hongchao Zhang, Shiyu Cheng, Luyao Niu +1
Autonomous Cyber-Physical Systems (CPS) fuse proprioceptive sensors such as GPS and exteroceptive sensors including Light Detection and Ranging (LiDAR) and cameras for state estima…
Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
Hongchao Zhang, Zhouchi Li, Andrew Clark
Safety is one of the most important properties of control systems. Sensor faults and attacks and actuator failures may cause errors in the sensor measurements and system dynamics,…
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee
Luyao Niu, Abdullah Al Maruf, Andrew Clark +2
Cyber-physical systems (CPS) are required to operate safely under fault and malicious attacks. The simplex architecture and the recently proposed cyber resilient architectures, e.g…