Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 September 2024

11 August 2024

  • curprev 02:1502:15, 11 August 2024‎ Murray talk contribs‎ 1,302 bytes +1,302‎ Created page with "{{Paper |Title=Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks |Authors=Inigo Incer, Noel Csomay-Shanklin, Aaron Ames, Richard M. Murray |Source=To appear, 2024 Conference on Decision and Control (CDC) |Abstract=We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks,..."
Retrieved from "https://murray.cds.caltech.edu/Specifying_and_Analyzing_Networked_and_Layered_Control_Systems_Operating_on_Multiple_Clocks"