Learning switched systems from simulation models
The design of decision and control strategies for switched systems typically requires complete knowledge of (i) mathematical models of the subsystems and (ii) restrictions on admissible switches between the subsystems. We propose an active learning algorithm that infers (i) and (ii) for discrete-time switched systems whose subsystems dynamics are governed by sets of scalar polynomials and switching signals are constrained by automata. We collect data from gray-box simulation models of the switched systems for this purpose. Our technique for learning (i) involves linear algebraic tools, while for learning (ii) we employ a modified version of the well-known $L^*$-algorithm from machine learning literature. A numerical example is presented to demonstrate our learning algorithm.
Code (0)
등록된 구현이 없습니다.
Tasks
Active LearningSimilar Papers 제목 키워드 기반
Compositional Abstractions of Interconnected Discrete-Time Switched Systems
In this paper, we introduce a compositional method for the construction of finite abstractions of interconnected discrete-time switched systems. Particularly, we use a notion of so-called alternating simulation function …
RelationSub-optimal Tracking in Switched Systems with Controlled Subsystems and Fixed-mode Sequence using Approximate Dynamic Programming
Optimal tracking in switched systems with controlled subsystem and Discrete-time (DT) dynamics is investigated. A feedback control policy is generated such that a) the system tracks the desired reference signal, and b) t…
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable probabilistic guarantees. We first present …
Compositional Verification of Initial-State Opacity for Switched Systems
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach is based on a notion of approximate initi…
On Incremental Stability of Interconnected Switched Systems
In this paper, the incremental stability of interconnected switched nonlinear systems is discussed. The nature of switching considered is state-dependent. The incremental stability of the switched interconnected system i…