SENTIENT Project
Scheduling of EveNt-TrIggerEd coNtrol Tasks
Project funded under the ERC-Starting Grant #755953
The advances in electronic communication and computation have enabled the ubiquity of Cyber-Physical Systems (CPS): digital systems that regulate and control all sorts of physical processes, such as chemical reactors, water distribution and power networks. These systems require the timely communication of sensor measurements and control actions to provide their prescribed functionalities. Event-triggered control (ETC) techniques, which communicate only when needed to enforce performance, have attracted attention as a mean to reduce the communication traffic and save energy on (wireless) networked control systems (NCS). However, despite ETC’s great communication reductions, the scheduling of the aperiodic and largely unpredictable traffic that ETC generates remains widely unaddressed – hindering its true potential for energy and bandwidth savings.
To address this problem, in project the SENTIENT we are investigating the following scientific challenges:
- the construction of models for ETC’s communication traffic;
- the design of schedulers based on such models guaranteeing prescribed performance levels.
To reach these goals, we are employing methods at the cross-roads between theoretical computer science, control systems and communications engineering. We follow a two step approach:
- modeling as timed-priced-game-automata (TPGA) the timing of communications of event-triggered control systems;
- solving games over TPGAs to prevent data communication collisions and ensure prescribed performances for the control tasks.
The project’s most practical objective is to produce algorithms facilitating the efficient implementation of control loops over shared communication resources, and increasing the energy efficiency of wireless NCS.The advances will be demonstrated on automotive and wireless water-distribution control applications, showcasing the potential economic impact from the reduction of implementation and maintenance costs on CPSs.
Publications
Journal Articles
11.
Symbolic abstractions of networked control systems Journal Article
In: IEEE Transactions on Control of Network Systems, vol. 5, no. 4, pp. 1622-1634, 2017, ISSN: 2325-5870.
12.
Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article
In: IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 274–283, 2016.
13.
Symbolic models for nonlinear control systems without stability assumptions Journal Article
In: Automatic Control, IEEE Transactions on, vol. 57, no. 7, pp. 1804–1809, 2011, ISSN: 1558-2523.
14.
Symbolic approximate time-optimal control Journal Article
In: Systems & Control Letters, vol. 60, no. 4, pp. 256–263, 2011.
Book Chapters
15.
Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Book Chapter
In: Tarbouriech, Sophie; Girard, Antoine; Hetel, Laurentiu (Ed.): Control Subject to Computational and Communication Constraints, vol. 475, pp. 197–217, Springer, Cham, 2018, ISBN: 978-3-319-78449-6.