標(biāo)題: Titlebook: Cyber Physical Systems. Design, Modeling, and Evaluation; 6th International Wo Christian Berger,Mohammad Reza Mousavi,Rafael Wisn Conferenc [打印本頁] 作者: 航天飛機(jī) 時(shí)間: 2025-3-21 19:36
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation影響因子(影響力)
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation影響因子(影響力)學(xué)科排名
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation網(wǎng)絡(luò)公開度
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation被引頻次
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation被引頻次學(xué)科排名
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation年度引用
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation年度引用學(xué)科排名
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation讀者反饋
書目名稱Cyber Physical Systems. Design, Modeling, and Evaluation讀者反饋學(xué)科排名
作者: Glucose 時(shí)間: 2025-3-21 23:45
0302-9743 of Cyber Physical Systems, CyPhy.2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, in.October 2016..The 9 papers presented in this volume were carefully reviewed and?selected from 14 submissions. They broadly interpret, from a diverse set?of disciplines, the modeling, simulation, 作者: Offbeat 時(shí)間: 2025-3-22 02:58 作者: Fresco 時(shí)間: 2025-3-22 04:39 作者: 使饑餓 時(shí)間: 2025-3-22 10:52 作者: Isometric 時(shí)間: 2025-3-22 15:39 作者: Isometric 時(shí)間: 2025-3-22 17:20 作者: Gnrh670 時(shí)間: 2025-3-22 22:58
0302-9743 and evaluation of?cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing..978-3-319-51737-7978-3-319-51738-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: faultfinder 時(shí)間: 2025-3-23 04:57
https://doi.org/10.1007/978-3-030-72531-0ng on the values of a switching function that dominate the dynamics of sliding mode. We implemented the main part of the method in our symbolic hybrid system simulator HyLaGI, and conducted analysis of example models.作者: 拋棄的貨物 時(shí)間: 2025-3-23 07:03 作者: Hot-Flash 時(shí)間: 2025-3-23 12:12 作者: beta-carotene 時(shí)間: 2025-3-23 15:37 作者: 鉗子 時(shí)間: 2025-3-23 19:31
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection,ng on the values of a switching function that dominate the dynamics of sliding mode. We implemented the main part of the method in our symbolic hybrid system simulator HyLaGI, and conducted analysis of example models.作者: flimsy 時(shí)間: 2025-3-23 22:53 作者: 針葉類的樹 時(shí)間: 2025-3-24 02:30 作者: Guaff豪情痛飲 時(shí)間: 2025-3-24 07:42
Ontological Reasoning as an Enabler of Contract-Based Co-design,d properties in concurrent design processes. By combining the theory of CBD with the principles of ontological reasoning, this paper intents to provide a framework which enables Contract-Based Co-Design (CBCD). The feasibility of this framework will be explained by means of a running CPS example.作者: Atmosphere 時(shí)間: 2025-3-24 10:47 作者: 碎片 時(shí)間: 2025-3-24 17:25
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection,rete changes within an infinitesimal-width region of phase space. Systems with sliding mode are typical examples of such hybrid systems. It is difficult to analyze such hybrid systems through ordinary numerical simulation, since the time required for simulation increases in proportion to the number 作者: Trochlea 時(shí)間: 2025-3-24 21:59
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments,ical system (CPS) domain. Development environments thrive to eliminate bugs or undefined behaviors in themselves. Formal techniques, while promising, do not yet scale to verifying entire industrial CPS tool chains. A practical alternative, automated random testing, has recently found bugs in CPS too作者: Neutral-Spine 時(shí)間: 2025-3-24 23:48 作者: 談判 時(shí)間: 2025-3-25 05:20 作者: paltry 時(shí)間: 2025-3-25 08:58 作者: 擔(dān)心 時(shí)間: 2025-3-25 12:25
Ontological Reasoning as an Enabler of Contract-Based Co-design,r-Physical System (CPS). This multidisciplinary approach leads to different, often contradicting, views on the system under design which in the end might lead to inconsistencies between domain specific properties. Contract-Based Design (CBD) aims to prevent these contradictions by defining possible 作者: giggle 時(shí)間: 2025-3-25 19:43
,CPS Specifier – A Specification Tool for Safety-Critical Cyber-Physical Systems,nologies and principles, e.g. Linked Data, CPS Specifier provides guidance- and feedback-driven support when authoring structured specifications in general, and for specifying and structuring requirements, in particular. The provided support is crucial in order to comply with functional safety stand作者: 能量守恒 時(shí)間: 2025-3-25 21:07 作者: 正式通知 時(shí)間: 2025-3-26 00:33 作者: Countermand 時(shí)間: 2025-3-26 08:23
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications,tion of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker .. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperabili作者: 心神不寧 時(shí)間: 2025-3-26 08:59 作者: anarchist 時(shí)間: 2025-3-26 13:58
Cyber Physical Systems. Design, Modeling, and Evaluation6th International Wo作者: 廢除 時(shí)間: 2025-3-26 20:32 作者: AVERT 時(shí)間: 2025-3-27 00:34
Computers, Algorithms, and Simulations,This paper proposes a transformation of SysML models into the NuSMV input language. The transformation is performed automatically using SysMV-Ja and relies on a notion of intermediate model structuring the relevant SysML components in an object-oriented fashion.作者: 折磨 時(shí)間: 2025-3-27 02:49 作者: Fibrin 時(shí)間: 2025-3-27 07:29 作者: emission 時(shí)間: 2025-3-27 11:36 作者: 怎樣才咆哮 時(shí)間: 2025-3-27 17:12
https://doi.org/10.1007/978-3-319-51738-4formal methods; hybrid systems; model checking; ontologies; symbolic analysis; contract-based design; cybe作者: 委派 時(shí)間: 2025-3-27 19:34 作者: Colonoscopy 時(shí)間: 2025-3-28 00:47
Laws, Levels of Descriptions, and Models,aches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven 作者: ARC 時(shí)間: 2025-3-28 04:43
https://doi.org/10.1007/978-3-030-72531-0rete changes within an infinitesimal-width region of phase space. Systems with sliding mode are typical examples of such hybrid systems. It is difficult to analyze such hybrid systems through ordinary numerical simulation, since the time required for simulation increases in proportion to the number 作者: Flavouring 時(shí)間: 2025-3-28 07:53
https://doi.org/10.1007/978-3-030-02880-0ical system (CPS) domain. Development environments thrive to eliminate bugs or undefined behaviors in themselves. Formal techniques, while promising, do not yet scale to verifying entire industrial CPS tool chains. A practical alternative, automated random testing, has recently found bugs in CPS too作者: 的是兄弟 時(shí)間: 2025-3-28 12:31 作者: TOXIN 時(shí)間: 2025-3-28 15:17 作者: 合同 時(shí)間: 2025-3-28 19:30
https://doi.org/10.1007/978-1-349-03777-3systems with mutual dependencies it is not sufficient to verify the two system parts individually. It is necessary to examine the combined behaviour in such a setting. The approach presented in this paper is based on the well known concept of using system identification methods for verification whic
