paper-with-me

홈 › Papers

Learning switched systems from simulation models

2020-02-12

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.

📄 PDF Abstract BibTeX arXiv:1911.12635

Code (0)

등록된 구현이 없습니다.

Tasks

Active Learning

Similar Papers 제목 키워드 기반

Compositional Abstractions of Interconnected Discrete-Time Switched Systems

2021-09-28 · Abdalla Swikir, Majid Zamani

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 …

Relation

Sub-optimal Tracking in Switched Systems with Controlled Subsystems and Fixed-mode Sequence using Approximate Dynamic Programming

2019-07-27

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

2021-03-26 · Zhe Xu, Yichen Zhang

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

2021-09-24 · Siyuan Liu, Abdalla Swikir, Majid Zamani

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

2023-08-24 · Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap

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…