A formal traffic characterization of LTI event-triggered control systems

Research output: Contribution to journalArticleScientificpeer-review

17 Citations (Scopus)


Unnecessary communication and computation in the periodic execution of control tasks lead to over-provisioning in hardware design (or underexploitation in hardware utilization) in control applications, in particular in networked control systems.
To address these issues, researchers have proposed a new class of strategies, named event-driven strategies. Despite their beneficiary effects, matters like task scheduling and appropriate dimensioning of communication components have become more complicated with respect to traditional periodic strategies. In
this paper, we present a formal approach to derive an abstracted system that captures the sampling behavior of a family of eventtriggered strategies for the case of LTI systems. This structure approximately simulates the sampling behavior of the aperiodic control system. Furthermore, the resulting abstract system is equivalent to a timed safety automaton. In the construction of
the abstraction, the state space is confined to a finite number of convex regions, each of which represents a mode in the quotient system. An LMI-based technique is deployed to derive a sampling time interval associated to each region. Finally, reachability analysis is leveraged to find the transitions of the abstract system.
Original languageEnglish
Pages (from-to)274-283
JournalIEEE Transactions on Control of Network Systems
Volume5 (2018)
Issue number1
Publication statusPublished - 2016


Dive into the research topics of 'A formal traffic characterization of LTI event-triggered control systems'. Together they form a unique fingerprint.

Cite this