Edit Paper: Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Enter the information required for the paper. Required information is marked with a *.

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, we introduce a new logic, Multiclock Logic (MCL), to be able to express the requirements of components form the point of view of their local clocks. Specifying components locally promotes independent design and component reuse. We carry out a contract-based analysis of a control system implemented via two control algorithms (model predictive control and feedback linearization) running on their own processors and clocks. Then we implement each of the contracts to build a system. The system performs as desired when the requirements derived from our system-level analysis are respected. Violating the constraints required by the contract-based analysis of the system leads to error.
URL:
Type:
ID:
Tag:
Funding:
DOI:
Flags:

Summary:

This is a minor edit

Watch this page

Navigation menu