24 citations · 96 across the 43 of their papers we have counts for
6 papers · 1 filter
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Chih-Hong Cheng, Tobias Schuster, Simon Burton
We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions. By considering the known weaknesses of DNN-based 2D bounding…
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a…
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…
EFSMT: A Logical Framework for Cyber-Physical Systems
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess +1
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonline…
Distributed Priority Synthesis and its Applications
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan +3
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…