Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control最新文献_第2页

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints 具有模态计数约束的大系统集合的控制综合

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883831

Petter Nilsson, N. Ozay

{"title":"Control Synthesis for Large Collections of Systems with Mode-Counting Constraints","authors":"Petter Nilsson, N. Ozay","doi":"10.1145/2883817.2883831","DOIUrl":"https://doi.org/10.1145/2883817.2883831","url":null,"abstract":"Given a large homogeneous collection of switched systems, we consider a novel class of safety constraints, called mode-counting constraints, that impose restrictions on the number of systems that are in a particular mode. We propose an approach for synthesizing correct-by-construction switching protocols to enforce such constraints over time. Our approach starts by constructing an approximately bisimilar abstraction of the individual system model. Then, we show that the aggregate behavior of the collection can be represented by a linear system, whose system matrices are induced by the transition graph of the abstraction. Finally, the control synthesis problem with mode-counting constraints is reduced to a cycle assignment problem on the transition graph. One salient feature of the proposed approach is its scalability; the computational complexity is independent of the number of systems involved. We illustrate this approach on the problem of coordinating a large collection of thermostatically controlled loads while ensuring a bound on the number of loads that are extracting power from the electricity grid at any given time.","PeriodicalId":337926,"journal":{"name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123580840","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}

引用次数: 22

Session details: Reachability Computation 会话细节:可达性计算

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/3261117

Alexandre Donzé

引用次数: 0

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems 基于多模态port - hamilton系统的汽车控制系统安全性分析

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883845

Siyuan Dai, X. Koutsoukos

引用次数: 13

Optimal Co-Design of Scheduling and Control for Networked Systems 网络系统调度控制的最优协同设计

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883818

S. Hirche

{"title":"Optimal Co-Design of Scheduling and Control for Networked Systems","authors":"S. Hirche","doi":"10.1145/2883817.2883818","DOIUrl":"https://doi.org/10.1145/2883817.2883818","url":null,"abstract":"Robots using distributed sensors in smart environments and smart infrastructure systems such as traffic and power systems are examples of networked cyber-physical systems where communication and/or computational resources are constrained. The scientific challenge is to design scheduling and control schemes taking into account such resource constraints and to preferably include fair resource sharing mechanisms among different control applications. In this talk we present a novel framework for the optimal co-design of scheduling and control for networked systems with resource constraints. In particular we consider multiple control loops, which transmit their measurements over a shared communication channel. Only a limited number of those control loops may close their feedback loop at a time. As a result the dynamics of the individual control loops are coupled through the resource constraint. The scientific question is, when a control loop should schedule the transmission of a measurement and what is the appropriate control law. We approach the problem from an optimality point of view with the scheduling and control policies being the optimization variables. We derive an efficient and tractable decomposition, which allows a distributed solution for control and scheduling decisions coordinated by a price-based mechanism. It turns out that an event-triggered control scheme is optimal and that certainty equivalence holds. In fact, our scheme exploits the adaptation ability of event-triggered control in terms of communication traffic elasticity. Furthermore, we provide stability results linking the resource constraints with the system dynamics.","PeriodicalId":337926,"journal":{"name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116629611","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

Directed Specifications and Assumption Mining for Monotone Dynamical Systems 单调动力系统的定向规范与假设挖掘

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883833

Eric S. Kim, M. Arcak, S. Seshia

引用次数: 24

Reachset Conformance Testing of Hybrid Automata 混合自动机的一致性测试

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883828

Hendrik Roehm, Jens Oehlerking, M. Woehrle, M. Althoff

引用次数: 41

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems 基于smt的虚拟同步分布式混合系统分析

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883849

K. Bae, P. C. Ölveczky, Soonho Kong, Sicun Gao, E. Clarke

引用次数: 11

Session details: Analysis of Switched Systems 会议细节:交换系统的分析

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/3261109

M. Prandini

引用次数: 0

Hybridization for Stability Analysis of Switched Linear Systems 切换线性系统的杂交稳定性分析

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/2883817.2883840

P. Prabhakar, Miriam García Soto

{"title":"Hybridization for Stability Analysis of Switched Linear Systems","authors":"P. Prabhakar, Miriam García Soto","doi":"10.1145/2883817.2883840","DOIUrl":"https://doi.org/10.1145/2883817.2883840","url":null,"abstract":"In this paper, we present a hybridization method for stability analysis of switched linear hybrid system (LHS), that constructs a switched system with polyhedral inclusion dynamics (PHS) using a state-space partition that is specific to stability analysis. We use a previous result based on quantitative predicate abstraction to analyse the stability of PHS. We show completeness of the hybridization based verification technique for the class of asymptotically stable linear system and a subclass of switched linear systems whose dynamics are pairwise Lipschitz continuous on the state-space and uniformly converging in time. For this class of systems, we show that by increasing the granularity of the region partition, we eventually reach an abstract switched system with polyhedral inclusion dynamics that is asymptotically stable. On the practical side, we implemented our approach in the tool averist, and experimentally compared our approach with a state-of-the-art tool for stability analysis of hybrid systems based on Lyapunov functions. Our experimental results illustrate that our method is less prone to numerical errors and scales better than the traditional approaches. In addition, our tool returns a counterexample in the event that it fails to prove stability, providing feedback regarding the potential reason for instability. We also examined heuristics for the choice of state-space partition during refinement.","PeriodicalId":337926,"journal":{"name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121121536","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: Time- and Event-based Models 会话细节:基于时间和事件的模型

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Pub Date : 2016-04-11 DOI: 10.1145/3261113

N. Ozay

引用次数: 0