most citedA Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

37 citations · 37 across the 1 of their papers we have counts for

collaborators

1 paper

eess.SY2017★ 37 cited

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

Dung Phan, Junxing Yang, Matthew Clark +4

We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Gua…