標(biāo)題: Titlebook: Cyber Physical Systems. Design, Modeling, and Evaluation; 5th International Wo Mohammad Reza Mousavi,Christian Berger Conference proceeding [打印本頁(yè)] 作者: microbe 時(shí)間: 2025-3-21 16:43
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation影響因子(影響力)
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation影響因子(影響力)學(xué)科排名
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation被引頻次
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation被引頻次學(xué)科排名
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation年度引用
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation年度引用學(xué)科排名
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation讀者反饋
書(shū)目名稱Cyber Physical Systems. Design, Modeling, and Evaluation讀者反饋學(xué)科排名
作者: 遷移 時(shí)間: 2025-3-21 21:45
Resource-Aware Control and Dynamic Scheduling in CPS,nformation available on the state of the CPS and decide . on the actions to take. This leads to the situation that individual control tasks are no longer executed in classical periodic time-triggered patterns, but in aperiodic patterns with varying inter-execution times. By abandoning the periodic s作者: Ornithologist 時(shí)間: 2025-3-22 00:35
,Constructive Modelling of Parallelized Environmental Models for Structured Testing of?Automated Driach for creating environmental models for structured testing of automated driving systems with a constructive method. One step is the enumeration of all possible sequences, but we first decompose the task into manageable units by input/output dependency analysis. The expected behavior is formalized 作者: Obedient 時(shí)間: 2025-3-22 08:32
Hybrid Secure Data Aggregation in Wireless Sensor Networks,tion overhead as compared to the existing end-to-end secure data aggregation protocols. Comprehensive analysis and comparisons validate the viability of the proposed protocol in resource-constrained wireless sensor networks.作者: CAGE 時(shí)間: 2025-3-22 09:56 作者: PLUMP 時(shí)間: 2025-3-22 13:48 作者: PLUMP 時(shí)間: 2025-3-22 18:55
Computers, Algorithms, and Simulations,tion overhead as compared to the existing end-to-end secure data aggregation protocols. Comprehensive analysis and comparisons validate the viability of the proposed protocol in resource-constrained wireless sensor networks.作者: Immunization 時(shí)間: 2025-3-22 22:42
Resource-Aware Control and Dynamic Scheduling in CPS,g questions in the context of control for cyber-physical systems (CPS), especially when the computation, communication, energy and actuation resources (for control) of the system are limited and/or shared by multiple control tasks. These limitations obstruct the use of classical design techniques fo作者: Adjourn 時(shí)間: 2025-3-23 01:56 作者: 休戰(zhàn) 時(shí)間: 2025-3-23 09:08
,Constructive Modelling of Parallelized Environmental Models for Structured Testing of?Automated Drim different sensors?[.], which are fused to generate a model of the surrounding world. Actors in the generated model are objects, which are e.g., classified as vehicles or pedestrians. The actors run in parallel, as in the real world actions from traffic participants can be taken independently and a作者: 驚呼 時(shí)間: 2025-3-23 11:39 作者: 果核 時(shí)間: 2025-3-23 16:02 作者: 打折 時(shí)間: 2025-3-23 20:02 作者: ALIBI 時(shí)間: 2025-3-23 23:59 作者: 疲勞 時(shí)間: 2025-3-24 04:51 作者: 險(xiǎn)代理人 時(shí)間: 2025-3-24 08:14
,Formally Analyzing Continuous Aspects of?Cyber-Physical Systems Modeled by Homogeneous Linear Diffeproof methods, computer based numerical methods or computer algebra systems. All these methods are error-prone and thus the analysis cannot be termed as accurate, which poses a serious threat to the accuracy of the cyber-physical systems. To guarantee the correctness of analysis, we propose to use h作者: EVICT 時(shí)間: 2025-3-24 14:12 作者: CRAFT 時(shí)間: 2025-3-24 15:20 作者: 觀察 時(shí)間: 2025-3-24 20:08 作者: Adherent 時(shí)間: 2025-3-25 02:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/d/image/241723.jpg作者: 1分開(kāi) 時(shí)間: 2025-3-25 07:01
Alberto Tagliafico,Carlo MartinoliThe CPSoS project is developing a roadmap for future research and innovation in cyber-physical systems of systems. This paper presents preliminary findings and proposals that are put forward as a result of broad consultations with experts from industry and academia, and through analysis of the state of the art in cyber-physical systems of systems.作者: 外露 時(shí)間: 2025-3-25 09:17
Core Research and Innovation Areas in Cyber-Physical Systems of Systems,The CPSoS project is developing a roadmap for future research and innovation in cyber-physical systems of systems. This paper presents preliminary findings and proposals that are put forward as a result of broad consultations with experts from industry and academia, and through analysis of the state of the art in cyber-physical systems of systems.作者: BILE 時(shí)間: 2025-3-25 13:41
https://doi.org/10.1007/978-88-470-2877-7g questions in the context of control for cyber-physical systems (CPS), especially when the computation, communication, energy and actuation resources (for control) of the system are limited and/or shared by multiple control tasks. These limitations obstruct the use of classical design techniques fo作者: 甜食 時(shí)間: 2025-3-25 18:29 作者: 泥土謙卑 時(shí)間: 2025-3-25 23:29
Antonio Zicca,Alberto Tagliaficom different sensors?[.], which are fused to generate a model of the surrounding world. Actors in the generated model are objects, which are e.g., classified as vehicles or pedestrians. The actors run in parallel, as in the real world actions from traffic participants can be taken independently and a作者: 不能妥協(xié) 時(shí)間: 2025-3-26 03:35
Alberto Tagliafico,Carlo Martinolirain and its environment. The specification of such systems, however, is often done in an informal way, hindering formal analysis and optimization. In this paper, we propose to use Parametric Synchronous Dataflow Graphs (PSDF) to formally specify the SaDM. For this purpose, the information about the作者: 小歌劇 時(shí)間: 2025-3-26 05:42
Alberto Tagliafico,Carlo Martinolito perturbances or part failures. Resilience engineering has many facets, some of them being well studied in control engineering like fault tolerance or robust control. In this paper, we propose a mathematical model that considers the following aspects relevant to resilience engineering: uncertainty作者: CUR 時(shí)間: 2025-3-26 09:13
https://doi.org/10.1007/978-88-470-2877-7 context of piecewise constant yet random charging and discharging. The resulting model enables a faithful time-dependent evaluation of the risk of a mission failure due to battery depletion. This is exemplified in a power dependability study of a nano satellite mission currently in orbit.作者: 使?jié)M足 時(shí)間: 2025-3-26 15:21
https://doi.org/10.1007/978-3-030-72531-0energy consumption behavior automatically, but significant manual effort is required to study the generated counter-example trace for finding the root causes of the failure. This effort can be reduced by using a formula-based automatic fault localization method. The present paper proposes a new trac作者: osteopath 時(shí)間: 2025-3-26 19:43 作者: 我要威脅 時(shí)間: 2025-3-26 21:20 作者: 無(wú)可爭(zhēng)辯 時(shí)間: 2025-3-27 04:44
https://doi.org/10.1007/978-3-319-25141-7concurrency; embedded systems; formal methods; models of computation; system description languages; cyber作者: 心痛 時(shí)間: 2025-3-27 07:07 作者: Ligament 時(shí)間: 2025-3-27 09:27
Cyber Physical Systems. Design, Modeling, and Evaluation978-3-319-25141-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 陰險(xiǎn) 時(shí)間: 2025-3-27 16:17 作者: 較早 時(shí)間: 2025-3-27 19:14 作者: tolerance 時(shí)間: 2025-3-27 23:43 作者: 得意人 時(shí)間: 2025-3-28 04:52
Alberto Tagliafico,Carlo Martinoli environment is modeled via piecewise constant functions, where each discontinuity corresponds to a physical location. As the number of relevant locations depends on the actual track side and, thus, is unknown a priori, we use parameters to construct consistent PSDF models. Based on our formal model, we have implemented the SaDM using ..作者: 異端 時(shí)間: 2025-3-28 06:35 作者: 柏樹(shù) 時(shí)間: 2025-3-28 11:27
0302-9743 n of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015. ..The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation作者: champaign 時(shí)間: 2025-3-28 17:15
Alberto Tagliafico,Carlo Martinoli and game theory to capture the system-environment interaction. For this model, we consider the state-constrained reachability problem as defined for stochastic hybrid systems. We give a characterization of the solutions of this problem in terms of the value function of an ergodic stochastic game.作者: 削減 時(shí)間: 2025-3-28 21:37
A Modelling Framework for Cyber-Physical System Resilience, and game theory to capture the system-environment interaction. For this model, we consider the state-constrained reachability problem as defined for stochastic hybrid systems. We give a characterization of the solutions of this problem in terms of the value function of an ergodic stochastic game.作者: 慢慢流出 時(shí)間: 2025-3-28 23:47
Laws, Levels of Descriptions, and Models,-logic theorem prover HOL4. In order to illustrate the usefulness of the proposed formalization, we utilize it to formally verify a couple of CPS used in the domain of bio-medicine, namely, a heart pacemaker and a fluid-filled catheter.作者: 無(wú)價(jià)值 時(shí)間: 2025-3-29 03:10
,Formally Analyzing Continuous Aspects of?Cyber-Physical Systems Modeled by Homogeneous Linear Diffe-logic theorem prover HOL4. In order to illustrate the usefulness of the proposed formalization, we utilize it to formally verify a couple of CPS used in the domain of bio-medicine, namely, a heart pacemaker and a fluid-filled catheter.作者: 不要不誠(chéng)實(shí) 時(shí)間: 2025-3-29 11:02
Current Challenges in the Verification of Hybrid Systems,ng various properties which are crucial for the verification of hybrid systems. We present exemplary evaluations on three benchmarks to motivate the need for further development and discuss some of the main challenges for future research in this area.作者: 不透氣 時(shí)間: 2025-3-29 14:49
,A Parametric Dataflow Model for the Speed and?Distance Monitoring in Novel Train Control?Systems, environment is modeled via piecewise constant functions, where each discontinuity corresponds to a physical location. As the number of relevant locations depends on the actual track side and, thus, is unknown a priori, we use parameters to construct consistent PSDF models. Based on our formal model, we have implemented the SaDM using ..
