Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)最新文献

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms 基于分解算法的符号控制器合成的重大计算突破

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3187005

Eric S. Kim, M. Arcak, Mahmoud Khaled, Majid Zamani

引用次数: 2

Compositional Synthesis for Symbolic Control 符号控制的合成

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3196957

A. Girard

{"title":"Compositional Synthesis for Symbolic Control","authors":"A. Girard","doi":"10.1145/3178126.3196957","DOIUrl":"https://doi.org/10.1145/3178126.3196957","url":null,"abstract":"Symbolic control aims at designing \"correct by construction\" controllers for continuous dynamical systems, by using algorithmic discrete synthesis techniques. The key concept in symbolic control is that of symbolic model (also called finite abstraction), which is a finite-state dynamical system, obtained by abstracting continuous trajectories over a finite set of symbols. When the symbolic and the continuous dynamics are formally related by some behavioral relationship (e.g. simulation or bisimulation relations), controllers synthesized for the symbolic model using discrete synthesis techniques can be refined to certified controllers for the original continuous system. Computation of finite abstractions is often based on discretization of the state and input spaces and therefore the symbolic control approach suffers from scalability issues. However, the design of large systems can still be tackled by means of compositional techniques. In this talk, we will present some recent results on compositional synthesis in the symbolic control approach. Firstly, we will present an approach to compute abstractions of systems made of several, possibly overlapping components. Secondly, we will show how to synthesize decentralized (and possibly asynchronous) controllers for invariance properties, by combining these overlapping abstractions and assume-guarantee contracts. In the last part of the talk, motivated by the use of parametric assume-guarantee contracts for stability properties, we will show recent developments on abstraction-based quantitative synthesis.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116404132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems 非线性动力系统的鲁棒完整控制综合工具

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3178153

Yinan Li, Jun Liu

引用次数: 34

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems 基于多层抽象的连续时间系统控制器综合

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3178143

Kyle Hsu, R. Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck

{"title":"Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems","authors":"Kyle Hsu, R. Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck","doi":"10.1145/3178126.3178143","DOIUrl":"https://doi.org/10.1145/3178126.3178143","url":null,"abstract":"We present multi-layered abstraction-based controller synthesis, which extends standard abstraction-based controller synthesis (ABCS) algorithms for continuous-time control systems by simultaneously maintaining several \"layers\" of abstract systems with decreasing precision. The resulting abstract multi-layered controller uses the coarsest abstraction whenever this is feasible, and dynamically adjusts the precision---by moving to a more precise abstraction and back to a coarser abstraction---based on the structure of the given control problem. Abstract multi-layered controllers can be refined to controllers with non-uniform resolution using feedback refinement relations established between each abstract layer and the concrete system, resulting in a sound ABCS method. We provide multi-layered controller synthesis algorithms for reachability, safety, and generalized Büchi specifications; our approach can be generalized to any ω-regular objective. Our algorithms are complete relative to single-layered synthesis on the finest layer. We empirically demonstrate that multi-layered synthesis can outperform standard (single-layer) ABCS algorithms on a number of examples, despite the additional cost of constructing multiple abstract systems.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127345366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 56

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems DryVR 2.0:黑盒网络物理系统的验证和控制器合成工具

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3187008

Bolun Qi, Chuchu Fan, Minghao Jiang, S. Mitra

引用次数: 10

Session details: Reachability 会话详细信息:可达性

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3258025

S. Mitra

引用次数: 0

Efficient Parametric Identification for STL STL的有效参数辨识

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3178132

Alexey Bakhirkin, Thomas Ferrère, O. Maler

引用次数: 27

Session details: Algorithms and Foundations 会议细节:算法和基础

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3258031

Sicun Gao

引用次数: 0

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems 随机恒速率多模系统的全局几乎确定可达性

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3178149

F. Somenzi, B. Touri, Ashutosh Trivedi

{"title":"Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems","authors":"F. Somenzi, B. Touri, Ashutosh Trivedi","doi":"10.1145/3178126.3178149","DOIUrl":"https://doi.org/10.1145/3178126.3178149","url":null,"abstract":"A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. We introduce and study a stochastic extension of a constant-rate multi-mode system where the dynamics is specified by mode-dependent compactly supported probability distributions over a set of constant rate vectors. The almost-sure reachability problem for stochastic multi-mode systems is to decide whether for all ε > 0 and for all pairs of start and target states in a path-connected and bounded safety set there exists a control strategy that almost-surely steers the system from the start state to the ε-neighborhood of the target state without leaving the safety set. We prove a necessary and sufficient condition to decide almost-sure reachability and, using this condition, we show that almost-sure reachability can be decided in polynomial time. Our algorithm can be used as a path-following algorithm in combination with off-the-shelf path-planning algorithms to make a robot with noisy low-level controllers follow a path with arbitrary precision.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132336481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Formal Controller Synthesis from Hybrid Programs 混合程序的形式控制器合成

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) Pub Date : 2018-04-11 DOI: 10.1145/3178126.3186998

V. Sinyakov, A. Girard

引用次数: 1