All public logs

Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:15, 11 August 2024 Murray talk contribs created page Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks (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,...")