Related papers: Synthesizing the L\"{u} attractor by parameter-swi…
Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic LTL with soft constraints expressed by discounted-sum (DS) rewards has applications in planning and reinforcement learning.…
We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…
A controller synthesis method for state- and input-constrained nonlinear systems is presented that seeks continuous piecewise affine (CPA) Lyapunov-like functions and controllers simultaneously. Non-convex optimization problems are…
We propose firstly an autonomous system of three first order differential equations which has two nonlinear terms and generating a new and distinctive strange attractor. Furthermore, this new 3D chaotic system performs a new feature of the…
In syntax-guided synthesis, one of the challenges is to reduce the enormous size of the search space. We observe that most search spaces are not just flat sets of programs, but can be endowed with a structure that we call an oriented…
The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bounded environments, where the environment can only generate…
Controlled transitions between a hierarchy of n-scroll attractors are investigated in a nonlinear optoelectronic oscillator. Using the system's feedback strength as a control parameter, it is shown experimentally the transition from Van der…
In this paper, we investigate the synthesis problem of terminating reactive systems from quantitative specifications. Such systems are modeled as finite transducers whose executions are represented as finite words in $(I\times O)^*$, where…
We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating…
In this paper, we investigate the continuity of the attractors in time-dependent phase spaces. (i) We establish two abstract criteria on the upper semicontinuity and the residual continuity of the pullback $\mathscr D$-attractor with…
Systems with delayed feedback can possess chaotic attractors with extremely high dimension, even if only a few physical degrees of freedom are involved. We propose a state space reconstruction from time series data of a scalar observable,…
Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjunction of such constraints on the same sequence by synthesising…
In this paper we study analytically a parameter switching (PS) algorithm applied to a class of systems of ODE, depending on a single real parameter. The algorithm allows the numerical approximation of any solution of the underlying system…
We present a controller synthesis algorithm for a discrete time reach-avoid problem in the presence of adversaries. Our model of the adversary captures typical malicious attacks envisioned on cyber-physical systems such as sensor spoofing,…
The aim of this paper is studying the compact global attractors for non-autonomous lattice dynamical systems of the form $u_{i}'=\nu (u_{i-1}-2u_i+u_{i+1})-\lambda u_{i}+f(u_i)+f_{i}(t)\ (i\in \mathbb Z,\ \lambda >0)$. We prove their…
We propose a novel framework for approximating the statistical properties of turbulent flows by combining variational methods for the search of unstable periodic orbits with resolvent analysis for dimensionality reduction. Traditional…
This paper presents a convex optimization-based framework for synthesizing time-varying controlled invariant funnels and associated feedback control around a given nominal trajectory for nonlinear systems subject to bounded disturbances.…
In this paper, least square estimation (LSE)-based dynamic generator model parameter identification is investigated. Electromechanical dynamics related parameters such as inertia constant and primary frequency control droop for a…
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for program synthesis for two…
In this paper we propose a model-independent method to extract the resonance parameters on the lattice directly from the Euclidean 2-point correlation functions of the field operators at finite times. The method is tested in case of the…