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...
Adaptive output feedback control with reduced sensitivity to sensor noise
Kutay, Ali Türker; Hovakimyan, N (2003-01-01)
We address adaptive output feedback control of uncertain nonlinear systems with noisy output measurements, in which both the dynamics and the dimension of the regulated system may be unknown, and only the relative degree of the regulated output is assumed to be known. Given a smooth reference trajectory, the problem is to design a controller that forces the system measurement to track it with bounded errors. A recently developed method proposes the use of a linear error observer that estimates the tracking ...
Order-preserving Models for the Supervisory Control of Flexible Manufacturing Systems
Nooruldeen, Anas; Schmidt, Klaus Verner (2019-11-01)
This paper develops a new modeling technique for the supervisory control of FMS in the framework of discrete event systems (DES). In particular, we consider the general case of an FMS, where different product types can share production components and production components can hold multiple products. We first point out that a suitable model for such production component needs to keep track of the product type and the order of products entering and leaving production components. Then, we develop a general met...
Citation Formats
I. Saglam and E. Aydın Göl, “Cause Mining and Controller Synthesis with STL,” 2019, Accessed: 00, 2020. [Online]. Available: