Cause Mining and Controller Synthesis with STL

Saglam, Irmak
Aydın Göl, Ebru
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications. However, the classes of systems that the formal approaches can be applied to is limited due to the computational complexity. Furthermore, the synthesis problem becomes even harder when non -determinism or stochasticity is considered. In this work, we propose an alternative approach. First, we mark the unwanted events on the traces of the system and generate a controllable cause representing these events as a Signal Temporal Logic (STL) formula. Then, we synthesize a controller to avoid the satisfaction of this formula. Our approach is applicable to any system with finitely many control choices. While we can not guarantee correctness, we show on examples that the proposed approach reduces the number of the unwanted events.


A Control System Architecture for Control of Non-Affine in Control, Open-Loop Unstable Underactuated Systems
Marangoz, Alp; Kutay, Ali Türker (2017-07-25)
In this paper, a control system architecture for control of non-affine in control, open-loop unstable underactuated system is discussed. Passivization of the unactuated (internal) system dynamics achieved through perturbation of trajectories of the actuated states, which are calculated through adaptive dynamic inversion technique, based on Tikhonov's theorem. Performance of the controller is shown through simulation of two open-loop unstable and locally uncontrollable example problems.
Hierarchical and decentralized multitasking control of discrete event systems
Schmidt, Klaus Verner; Cury, José E. R. (2007-12-01)
In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically consistent control are developed. It is shown that the computational complexity for supervisor computation is reduced. A flexible manufacturing system example dem...
Command governor-based adaptive control for dynamical systems with matched and unmatched uncertainties
Yayla, Metehan; Kutay, Ali Türker (2018-08-01)
In this paper, we propose a command governor-based adaptive control architecture for stabilizing uncertain dynamical systems with not only matched but also unmatched uncertainties and achieving the desired command following performance of a user-defined subset of the accessible states. In our proposed solution, online least-squares solutions for the matched and unmatched parameters are obtained through integration method and they are employed in the adaptive control framework. Specifically, the matched unce...
Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems
Schmidt, Klaus Verner (2006-12-01)
The paper extends previous work, where we develop a control theory for nonblocking hierarchical control of decentralized discrete event systems (DES). The results are based on two technical conditions for the hierarchical abstraction: it has to be (i) locally nonblocking and (ii) marked string accepting. In this paper, we investigate the systematic construction of the hierarchical abstraction. Starting from an initial natural projection which need not fulfill (i) and (ii), we provide an algorithm to compute...
Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
SCHMİDT, KLAUS WERNER; Schmidt, Klaus Verner (2011-04-01)
The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural obse...
Citation Formats
I. Saglam and E. Aydın Göl, “Cause Mining and Controller Synthesis with STL,” 2019, Accessed: 00, 2020. [Online]. Available: