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

Graphical Hybrid Automata with Simulink and Stateflow 图形混合自动机与Simulink和状态流

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.3187007

A. Rajhans, S. Avadhanula, A. Chutinan, P. Mosterman, Fu Zhang

引用次数: 3

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.3187006

Yinan Li, Jun Liu

引用次数: 2

Under-Approximating Reach Sets for Polynomial Continuous 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.3178133

Bai Xue, M. Fränzle, N. Zhan

{"title":"Under-Approximating Reach Sets for Polynomial Continuous Systems","authors":"Bai Xue, M. Fränzle, N. Zhan","doi":"10.1145/3178126.3178133","DOIUrl":"https://doi.org/10.1145/3178126.3178133","url":null,"abstract":"In this paper we suggest a method based on convex programming for computing semi-algebraic under-approximations of reach sets for polynomial continuous systems with initial sets being the zero sub-level set of a polynomial function. It is well-known that the reachable set can be formulated as the zero sub-level set of a value function to a Hamilton-Jacobi partial differential equation (HJE), and our approach in this paper consequently focuses on searching for approximate analytical polynomial solutions to associated HJEs, of which the zero sub-level sets converge to the exact reachable set from inside in measure, without discretizing the state space. Such approximate solutions can be computed via a classical hierarchy of convex programs consisting of linear matrix inequalities, which are constructed by sum-of-squares decomposition techniques. In contrast to traditional numerical methods approximately solving HJEs, such as level-set methods, our method reduces HJE solving to convex optimization, avoiding the complexity associated to gridding the state space. Compared to existing approaches computing under-approximations, the approach described in this paper is structurally simpler as the under-approximations are the outcome of a single semi-definite program. Furthermore, an over-approximation of the reach set, shedding light on the quality of the constructed under-approximation, can be constructed via solving the same semi-definite program. Several illustrative examples and comparisons with existing methods demonstrate the merits of our approach.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"13 49 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":"129678845","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}

引用次数: 14

Session details: Abstracts for Demos and Posters 会议细节:演示和海报摘要

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

Jens Oehlerking

引用次数: 0

Session details: Stabilization and Control Design 会议细节:稳定和控制设计

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

J. Kapinski

引用次数: 0

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness 基于凸性和紧性的随机LTI系统的可扩展欠逼近验证

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.3178148

Abraham P. Vinod, Meeko Oishi

引用次数: 29

Algorithms for exact and approximate linear abstractions of polynomial continuous 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.3178137

Michele Boreale

引用次数: 9

Constructing Control System Abstractions from Modular Components 从模块化组件构建控制系统抽象

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.3178144

Eric S. Kim, M. Arcak, Majid Zamani

{"title":"Constructing Control System Abstractions from Modular Components","authors":"Eric S. Kim, M. Arcak, Majid Zamani","doi":"10.1145/3178126.3178144","DOIUrl":"https://doi.org/10.1145/3178126.3178144","url":null,"abstract":"This paper tackles the problem of constructing finite abstractions for formal controller synthesis with high dimensional systems. We develop a theory of abstraction for discrete time nonlinear systems that are equipped with variables acting as interfaces for other systems. Systems interact via an interconnection map which constrains the value of system interface variables. An abstraction of a high dimensional interconnected system is obtained by composing subsystem abstractions with an abstraction of the interconnection. System abstractions are modular in the sense that they can be rearranged, substituted, or reused in configurations that were unknown during the time of abstraction. Constructing the abstraction of the interconnection map can become computationally infeasible when there are many systems. We introduce intermediate variables which break the interconnection and the abstraction procedure apart into smaller problems. Examples showcase the abstraction of a 24-dimensional system through the composition of 24 individual systems, and the synthesis of a controller for a 6-dimensional system with a consensus objective.","PeriodicalId":131076,"journal":{"name":"Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)","volume":"42 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":"116814600","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}

引用次数: 27

Bisimulations, logics, and trace distributions for stochastic systems with rewards 具有奖励的随机系统的双模拟、逻辑和跟踪分布

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.3178139

Daniel Gburek, C. Baier

引用次数: 3

Session details: Timed 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/3258026

Vinayak S. Prabhu

引用次数: 0