A Study on Run Time Assurance for Complex Cyber Physical Systems

  title={A Study on Run Time Assurance for Complex Cyber Physical Systems},
  author={Matthew Clark and Xenofon D. Koutsoukos and Ratnesh Kumar and Insup Lee and George Pappas and Lee Pike and Joseph Porter and Oleg Sokolsky},
Form Approved OMB No. 0704-0188 Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden to Department of Defense… CONTINUE READING
8 Citations
263 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 263 references

Certification techniques for advanced flight critical systems

  • Lael Rudd, Herb Hecht
  • Technical report, WPAFB,
  • 2008
Highly Influential
2 Excerpts

TrueTime 1.5 Reference Manual

  • Martin Ohlin, Dan Henriksson, Anton Cervin
  • Dept. of Automatic Control, Lund Univ.,
  • 2007
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…