ARCH@CPSWeekPub Date : 1900-01-01DOI: 10.29007/slz2
Hoang-Dung Tran, L. V. Nguyen, Weiming Xiang, Taylor T. Johnson
{"title":"Distributed Autonomous Systems","authors":"Hoang-Dung Tran, L. V. Nguyen, Weiming Xiang, Taylor T. Johnson","doi":"10.29007/slz2","DOIUrl":"https://doi.org/10.29007/slz2","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134175114","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}
ARCH@CPSWeekPub Date : 1900-01-01DOI: 10.29007/23pm
L. V. Nguyen, Taylor T. Johnson
{"title":"Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)","authors":"L. V. Nguyen, Taylor T. Johnson","doi":"10.29007/23pm","DOIUrl":"https://doi.org/10.29007/23pm","url":null,"abstract":"Power electronics represent a large and important class of hybrid systems, as modern digital computers and many other systems rely on their correct operation. In this benchmark description, we model three DC-toDC switched-mode power converters as hybrid automata with continuous dynamics specified by linear ordinary differential equations. A DC-toDC converter transforms a DC source voltage from one voltage level to another utilizing switches toggled at some (typically kilohertz) frequency with some duty cycle. The state of this switch gives rise to the locations of the hybrid automaton, and the continuous variables are currents and voltages. The main contributions of this benchmark description include: (a) unified modeling of three types of converters as a hybrid automaton with two locations and differing continuous dynamics, and (b) a basic benchmark generator that allows for simulation of these converters in Simulink/Stateflow and reachability analysis in SpaceEx. Future challenges for these benchmark classes include closed-loop control, where the speeds of plant and controller dynamics differ by orders of magnitude. Category: academic Difficulty: medium (open-loop); challenge (closedloop) 1 Context and Origins DC-to-DC power converters are frequently implemented using switches (power transistors) for efficiency reasons, and switched-mode power supplies are commonly used in digital computers and many safety-critical systems, from cars and airplanes to medical devices and industrial control systems. A DC-to-DC power converter transforms an input (source) voltage level to an output (load) voltage level. These systems are naturally hybrid due to their switching, and have been studied using hybrid systems tools, such as in [1–7]. ∗Computer Science and Engineering, University of Texas at Arlington — Arlington, TX","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134279516","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}
ARCH@CPSWeekPub Date : 1900-01-01DOI: 10.29007/zvkb
Ibtissem Ben Makhlouf, S. Kowalewski
{"title":"Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools","authors":"Ibtissem Ben Makhlouf, S. Kowalewski","doi":"10.29007/zvkb","DOIUrl":"https://doi.org/10.29007/zvkb","url":null,"abstract":"A practical benchmark for testing analysis and verification methods for continuous as well as hybrid systems is suggested. It consists of a platoon of controlled vehicles. The vehicles exchange information via a communication network that is subject to failure of single nodes or a complete loss of communication. The worst case scenario corresponding to the transition from a fully functioning communication between the vehicles to a total loss of communication is considered in particular. The safety properties of the considered networked platoon are investigated. The system is modeled as a hybrid automaton. The continuous part represents the dynamical behavior of the platoon and the discrete part are spontaneous events related to the switching communication topology. The proposed example is a linear time invariant system. Category: academic Difficulty: challenge","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123873501","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}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
