Temporal logic inference for classification and prediction from data

2014-04-15
Kong, Zhaodan
Jones, Austin
Medina, Ayala Ana
Aydın Göl, Ebru
Belta, Calin
This paper presents an inference algorithm that can discover temporal logic properties of a system from data. Our algorithm operates on finite time system trajectories that are labeled according to whether or not they demonstrate some desirable system properties (e.g. "the car successfully stops before hitting an obstruction"). A temporal logic formula that can discriminate between the desirable behaviors and the undesirable ones is constructed. The formulae also indicate possible causes for each set of behaviors (e.g. "If the speed of the car is greater than 15 m/s within 0.5s of brake application, the obstruction will be struck") which can be used to tune designs or to perform on-line monitoring to ensure the desired behavior. We introduce reactive parameter signal temporal logic (rPSTL), a fragment of parameter signal temporal logic (PSTL) that is expressive enough to capture causal, spatial, and temporal relationships in data. We define a partial order over the set of rPSTL formulae that is based on language inclusion. This order enables a directed search over this set, i.e. given a candidate rPSTL formula that does not adequately match the observed data, we can automatically construct a formula that will fit the data at least as well. Two case studies, one involving a cattle herding scenario and one involving a stochastic hybrid gene circuit model, are presented to illustrate our approach.

Suggestions

Temporal logic model predictive control for discrete time systems
Aydın Göl, Ebru (2013-04-08)
This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear predicates in its state variables. The cost is a quadratic function that penalizes the distance from desired state and control trajectories. The specification is a formula of syntactically co-safe Linear Temporal Logic (scLTL), which can be satisfied in finite time. It is assumed that the reference trajectories are only available over a finite horizon a...
Quantum systems and representation theorem
Dosi, Anar (2013-09-01)
In this paper we investigate quantum systems which are locally convex versions of abstract operator systems. Our approach is based on the duality theory for unital quantum cones. We prove the unital bipolar theorem and provide a representation theorem for a quantum system being represented as a quantum -system.
Domain-Structured Chaos in a Hopfield Neural Network
Akhmet, Marat (World Scientific Pub Co Pte Lt, 2019-12-30)
In this paper, we provide a new method for constructing chaotic Hopfield neural networks. Our approach is based on structuring the domain to form a special set through the discrete evolution of the network state variables. In the chaotic regime, the formed set is invariant under the system governing the dynamics of the neural network. The approach can be viewed as an extension of the unimodality technique for one-dimensional map, thereby generating chaos from higher-dimensional systems. We show that the dis...
Time-constrained temporal logic control of multi-affine systems
Aydın Göl, Ebru (Elsevier BV, 2013-11-01)
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition syste...
Global exponential stability of neural networks with non-smooth and impact activations
Akhmet, Marat (2012-10-01)
In this paper, we consider a model of impulsive recurrent neural networks with piecewise constant argument. The dynamics are presented by differential equations with discontinuities such as impulses at fixed moments and piecewise constant argument of generalized type. Sufficient conditions ensuring the existence, uniqueness and global exponential stability of the equilibrium point are obtained. By employing Green's function we derive new result of existence of the periodic solution. The global exponential s...
Citation Formats
Z. Kong, A. Jones, A. A. Medina, E. Aydın Göl, and C. Belta, “Temporal logic inference for classification and prediction from data,” 2014, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/47846.