1,234 Hits in 5.4 sec

Modeling distributed automation systems in cyber-physical view

Wenbin Dai, Valeriy Vyatkin, Cailian Chen, Xinping Guan
2015 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)  
Finally, an industrial cyber-physical system design tool is implemented by applying the proposed IEC 61499-based modeling language.  ...  In this paper, an IEC 61499-based modeling language is propsed for industrial cyberphysical systems.  ...  The proposed multi-view framework provides heterogeneity in cyber-physical system. This framework also contains user view during system design.  ... 
doi:10.1109/iciea.2015.7334251 fatcat:7tetnkzppze73jkdjr4n7rpy2m

Viewpoints, formalisms, languages, and tools for cyber-physical systems

David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren
2012 Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12  
Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an application domain CPS is not new. As an intellectual discipline, however, it is.  ...  This paper focuses on CPS modeling, which is an essential activity in CPS design, with multiple challenges.  ...  INTRODUCTION Cyber-physical systems (CPS) are becoming an integral part of modern societies [11] . As an application domain CPS is not new.  ... 
doi:10.1145/2508443.2508452 dblp:conf/models/BromanLTT12 fatcat:fkv4l3v2grdcrbnookcqtmfp5u

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems

Eugene Syriani, Manuel Wimmer
2021 Journal of Software and Systems Modeling  
This theme section aims to disseminate the latest research results in the area of Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS).  ...  This theme section covers papers on the foundations and applications of MPM for CPS.  ...  Acknowledgements After more than a decade of running different events and initiatives concerning multi-paradigm modeling, there is a long list of people we like to thank.  ... 
doi:10.1007/s10270-021-00882-1 pmid:33841064 pmcid:PMC8020369 fatcat:ibzozp4bt5hv5nljfokj7dnsge

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems [article]

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2019 arXiv   pre-print
Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors.  ...  The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems.  ...  Acknowledgments We would like to thank Edward Lee for his supports and patient guidance on modeling and analyzing CPSs, Tom Henzinger for his fruitful discussion on the extended actor model, and MohammadReza  ... 
arXiv:1901.02597v1 fatcat:4me7pspqyfajda77ovxeoy4rpy

Spatio-Temporal Event Model for Cyber-Physical Systems

Ying Tan, Mehmet C. Vuran, Steve Goddard
2009 2009 29th IEEE International Conference on Distributed Computing Systems Workshops  
The emerging Cyber-Physical Systems (CPSs) are envisioned to integrate computation, communication and control with the physical world.  ...  This calls for a flexible architecture and task representation framework to analyze CP operations.  ...  The future work includes a formal temporal analysis of Event Detection Latency (EDL) based on the proposed framework and building an end-to-end latency model for CPSs.  ... 
doi:10.1109/icdcsw.2009.82 dblp:conf/icdcsw/TanVG09 fatcat:eltwtpazazarffbm73vegqcrc4

Actors Revisited for Time-Critical Systems

Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward A. Lee
2019 Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19  
In this paper we propose an actor-oriented programming model with a semantic notion of time and a deterministic coordination semantics based on discrete events to exercise precise control over both the  ...  Programming time-critical systems is notoriously difficult.  ...  ACKNOWLEDGMENTS The work in this paper was supported in part by the National Science Foundation (NSF), award #CNS-1836601 (Reconciling Safety with the Internet) and the iCyPhy Research Center (Industrial Cyber-Physical  ... 
doi:10.1145/3316781.3323469 dblp:conf/dac/LohstrohSGWGSL19 fatcat:ofc7kgwhq5h65fp3jnu5q2jyqa

Enabling Self-adaptive Workflows for Cyber-physical Systems [chapter]

Ronny Seiger, Steffen Huber, Peter Heisig, Uwe Assmann
2016 Lecture Notes in Business Information Processing  
An autonomic manager based on the MAPE-K control loop adds self-management to WfMSes to deal with unanticipated situations and cyber-physical state inconsistencies.  ...  However, these new areas also introduce novel challenges for Workflow Management Systems (WfMSes) especially related to the physical world interactions, constraint resources, complex devices and unpredictable  ...  ); -A software component for adding multi-level feedback loops to WfMSes enabling cyber-physical synchronization and self-* (Feedback Service); -A retrofitting framework for extending existing WfMSes  ... 
doi:10.1007/978-3-319-39429-9_1 fatcat:s374pveizfeshk3wsu4nmddca4

Building portable middleware services for heterogeneous cyber-physical systems

Kirill Mechitov, Gul Agha
2012 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA)  
An extremely light-weight and flexible method for local and remote service interaction is proposed.  ...  As the number of available WSN platforms and operating systems grows, and the emergence of cyber-physical systems results in the creation of networks of hetrogeneous devices (sensor nodes, microcontrollers  ...  SOA IMPLEMENTATION We propose a dynamic service composition framework as an extension of an existing static component-based system.  ... 
doi:10.1109/sesena.2012.6225732 dblp:conf/sesena/MechitovA12 fatcat:zb33msilnfe7zldb6kcwzv4vpm

Agent-based software architecture for distributed measurement systems and cyber-physical systems design

D. L. Carni, D. Grimaldi, L. Nigro, P. F. Sciammarella, F. Cicirelli
2017 2017 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)  
New paradigms for their management are needed, that coupled with actuators, enable the integration of DMSs into more complex systems, known as Cyber-Physical Systems (CPSs).  ...  In particular, the proposed framework introduces an original feature called model continuity that offers the possibility of using a same model for both simulation phase and real-time execution phase.  ...  AGENT-BASED CONTROL FRAMEWORK The proposed agent-based control framework is founded on the main concepts that are: actor, message and action.  ... 
doi:10.1109/i2mtc.2017.7969977 dblp:conf/i2mtc/CarniGNSC17 fatcat:4yveljwtrney3gz3amja6ybqqu

Delay-based Distribution and Optimization of A Simulation Model

Clement Michel, Pierre Siron
2018 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)  
The conception of Cyber-Physical Systems is a complex task: the multiple components making up those systems might not be fully known by the system architect, and putting those components together generates  ...  Study and validation of those systems is often done through simulation.  ...  Modeling tools for cyber-physical systems Synchronous languages fits these requirements, such as SCADE and its more specific subsets LUSTRE [2] and PRÉLUDE [3] .  ... 
doi:10.1109/distra.2018.8600937 dblp:conf/dsrt/MichelS18 fatcat:aumtsnltrfbvxprkw7qcacajtq

Cyber-Physical Systems and Events [chapter]

Carolyn Talcott
2008 Lecture Notes in Computer Science  
This paper discusses event-based semantics in the context of the emerging concept of Cyber Physical Systems and describes two related formal models concerning policy-based coordination and Interactive  ...  Introduction Cyber-physical systems (CPSs) integrate computing and communication with monitoring and/or control of entities in the physical world.  ...  We have proposed event-based semantics as a semantic foundation for Cyber physical Systems.  ... 
doi:10.1007/978-3-540-89437-7_6 fatcat:4mlyn6u6x5g5bfe6mpiag4dp7u

Resilient control in large-scale networked cyber-physical systems: Guest editorial

Giuseppe Franze, Giancarlo Fortino, Xianghui Cao, Giuseppe Maria Luigi Sarne, Zhen Song
2020 IEEE/CAA Journal of Automatica Sinica  
The appellation used by field experts for these paradigms is Cyber-Physical Systems (CPS) because the dynamics among computers, networking media/resources and physical systems interact in a way that multi-disciplinary  ...  Along these lines, secure/robust and resilient control frameworks for networked control system (NCS) configurations capable to jointly take care of state/input constraints under cyber-attack occurrences  ...  control based on a dynamic event-triggering mechanism for multi-agent systems.  ... 
doi:10.1109/jas.2020.1003327 fatcat:rzxybcfnbffszj43tkaueicofa

Challenges in Digital Twin Development for Cyber-Physical Production Systems [chapter]

Heejong Park, Arvind Easwaran, Sidharta Andalam
2019 Lecture Notes in Computer Science  
Digital twin will be the key technology in Cyber-Physical Production Systems (CPPS) and its market is expected to grow significantly in the coming years.  ...  The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwined with their cyber  ...  The Integrated Tool Chain for Model-based Design of Cyber-Physical Systems (INTO-CPS) is an integrated tool chain for comprehensive model-based design of cyber-physical systems.  ... 
doi:10.1007/978-3-030-23703-5_2 fatcat:nqttdovw3bg6xfhkziehpoho7e

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand
2021 Journal of Internet Services and Applications  
Cyber-physical systems are distributed, concurrent, asynchronous and event-based reactive systems with timing constraints.  ...  Cyber-physical systems are now in every corner of our lives, and we need robust methods for handling the ever-increasing complexity of their software systems.  ...  The research of the first three authors for this work is supported by the Serendipity project funded by the Swedish Foundation for Strategic Research (SSF).  ... 
doi:10.1186/s13174-021-00132-z fatcat:gpgdz3zzvfbrvce75g373mtl7i

A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems

Peng Zhou, Decheng Zuo, Kun-Mean Hou, Zhan Zhang
2017 Sensors  
Autonomic computing technologies for cyber-physical systems.  ...  An overview of an actor-based framework for a self-management CPS is shown in Figure 7. The actor is the atomic abstraction of subsystems in our reference model.  ... 
doi:10.3390/s17112580 pmid:29120357 pmcid:PMC5713012 fatcat:23cvjedhlff2jpgugnxp7sdo5i
« Previous Showing results 1 — 15 out of 1,234 results