Filters








1,381 Hits in 5.9 sec

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems [article]

Meiyi Ma, John Stankovic, Ezio Bartocci, Lu Feng
2021 arXiv   pre-print
We propose a new logic named Signal Temporal Logic with Uncertainty (STL-U) to monitor a flowpipe containing an infinite set of uncertain sequences predicted by Bayesian RNNs.  ...  Predictive monitoring – making predictions about future states and monitoring if the predicted states satisfy requirements – offers a promising paradigm in supporting the decision making of Cyber-Physical  ...  Frost Monitoring Cyber-Physical System: A Survey on Prediction and Active Protection Methods.  ... 
arXiv:2011.00384v3 fatcat:gxufwlzxnbgqvja7wwtkqtey5i

Combined Anomaly Detection Framework for Digital Twins of Water Treatment Facilities

Yuying Wei, Adrian Wing-Keung Law, Chun Yang, Di Tang
2022 Water  
Digital twins of cyber-physical systems with automated process control systems using programmable logic controllers (PLCs) are increasingly popular nowadays.  ...  At the same time, cyber-physical security is also a growing concern with system connectivity.  ...  Acknowledgments: The authors would wish to thank all members in our project team for their valuable contributions during discussions.  ... 
doi:10.3390/w14071001 doaj:08d82410ab854695b5e0669ed3c05497 fatcat:um4rx7c4zzabdoxwrdmf3kafha

Reasoning Strategies in Smart Cyber-Physical Systems

Anne Håkansson, Ronald Hartung, Esmiralda Moradian
2015 Procedia Computer Science  
To make the components of the systems act intelligently, according to users' needs, and understand and predict behavior of the cyber-physical systems, the cyber-physical systems need reasoning to link  ...  This paper presents reasoning strategies for smart cyber-physical systems that can extract and combine data, information, and knowledge to provide an intelligent behavior from users point of view.  ...  Cyber-Physical Systems Cyber-physical system has been presented with many different definitions. The term Cyber-physical system means different things for different people [5] .  ... 
doi:10.1016/j.procs.2015.08.267 fatcat:bz4saj26jjcwjc5mdxmfe2hcoy

CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software [article]

Yi Qin, Tao Xie, Chang Xu, Angello Astorga, Jian Lu
2018 arXiv   pre-print
Cyber-physical software continually interacts with its physical environment for adaptation in order to deliver smart services.  ...  When deployed in field tests, CoMID's runtime monitoring improves the success rate of cyber-physical software in its task executions by 15.3-31.7%.  ...  ACKNOWLEDGMENT The authors wish to thank the editor and anonymous reviewers for their valuable comments on improving this article.  ... 
arXiv:1807.02282v1 fatcat:djsd5qmqmzggjfkcm53b56u33u

Cyber-physical systems for water sustainability: challenges and opportunities

Zhaohui Wang, Houbing Song, David W. Watkins, Keat Ghee Ong, Pengfei Xue, Qing Yang, Xianming Shi
2015 IEEE Communications Magazine  
Key technologies, including wireless communications and networking, sensor technology, hydrodynamic modeling, data analysis, and control, enable intelligently networked water Cyber-Physical Systems (CPS  ...  This article will explore various challenges and opportunities for water CPS to be applied to remote, in-situ, real-time, and continuous water quality monitoring and management in support of sustainable  ...  Water Cyber-Physical Systems (CPS) Cyber-Physical Systems (CPS) are smart networked systems with embedded sensors, processors and actuators that are designed to sense and interact with the physical world  ... 
doi:10.1109/mcom.2015.7105668 fatcat:oskigamtojf6dmbkqpewzpas3y

Confidence Composition for Monitors of Verification Assumptions [article]

Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor Carpenter, Oleg Sokolsky, Insup Lee
2022 arXiv   pre-print
Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions.  ...  To predict safety violations in a verified system, we propose a three-step confidence composition (CoCo) framework for monitoring verification assumptions.  ...  ACKNOWLEDGMENTS The authors thank James Weimer, Sooyong Jang, and Northrop Grumman Corporation for helping develop the UUV simulator.  ... 
arXiv:2111.03782v3 fatcat:6cwbgoen2bhi5itpirqipzhzm4

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 approach integrates physics models with sources of uncertainty to predict crack growth on the airframe.  ... 
doi:10.1007/978-3-030-23703-5_2 fatcat:nqttdovw3bg6xfhkziehpoho7e

Digital Twin of a Magnetic Medical Microrobot with Stochastic Model Predictive Controller Boosted by Machine Learning in Cyber-Physical Healthcare Systems

Hamid Keshmiri Neghab, Mohammad (Behdad) Jamshidi, Hamed Keshmiri Neghab
2022 Information  
Accordingly, underestimating the importance of such cyber environments in the medical and healthcare system is not logical, as a combination of such systems with the Metaverse can lead to tremendous applications  ...  Considering the size, control system, and specifications of such micro-magnetic mechanisms, it can play an important role in monitoring, drug-delivery, or even some sensitive internal surgeries.  ...  This results in big data processing frameworks for medical cyber-physical systems (MCPS), which merge cyber and real-world features with dynamic, completely adaptable systems for making decisions and other  ... 
doi:10.3390/info13070321 fatcat:hb4skqka6zbsxcpqdirazjt3tm

Pervasive Sensing and Monitoring for Situational Awareness [chapter]

Sharad Mehrotra, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn Talcott
2012 Handbook on Securing Cyber-Physical Critical Infrastructure  
A Distributed Logical Framework for Cyber-Physical Systems.  ...  In cyber-physical systems, models, facts, and goals are continuously changing. Therefore, the logical framework must be able to incrementally, and efficiently deal with such changes.  ...  Das Ch20-9780124158153 2011/10/18 2:37 Page 520 #34 Non-Print Items Abstract In this chapter, we identify fundamental challenges that arise in building pervasive sensing and monitoring systems for creating  ... 
doi:10.1016/b978-0-12-415815-3.00020-0 fatcat:xg7a6nswn5ebzeejrwmpno4344

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Specifications play a major role in evaluating behaviors of modern cyber-physical systems (CPS).  ...  Dense-time formalism have been used as the basis for specification languages applied to cyber-physical systems (CPS). For instance, Signal Temporal Logic (STL) extends MTL with numerical predicates.  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian
2012 Journal of Internet Services and Applications  
In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems (CPSs) of the future.  ...  In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of "computational reflection."  ...  The next generation of societal scale cyber-physical systems requires designing a system-of-systems approach where societal entities, cyber entities, and physical devices cooperate toward a set of common  ... 
doi:10.1007/s13174-011-0057-4 fatcat:qaolc4dtbbe55ccqkzmcvefsv4

Metrological Array of Cyber-Physical Systems. Part 1. Challenge of Modernity

Svyatoslav YATSYSHYN, Bohdan STADNYK, Yaroslav LUTSYK,, Vasyl YATSUK
2015 Sensors & Transducers  
Accounting for contemporary trends of Cyber-physical systems evolution, there are considered promising lines of metrology science, which is able to support them.  ...  So it's time to correlate this growth with development of systems.  ...  Cyber-Physical Systems according to NIST classification. Fig. 2 . 2 Fig. 2. Metrological tasks for CPS purposes. Fig. 3 . 3 Fig. 3.  ... 
doaj:c525fae6569e4a36bd69ad796c9f2a80 fatcat:33m2nyo5frantp7twb2g7qkehm

Concept of Socio-Cyber-Physical Work Systems for Industry 4.0

2020 Tehnički Vjesnik  
for the advanced management and control of cyber-physical production systems.  ...  The aim of this paper is the conceptualization of a socio-cyber-physical work system (SCPWS) for Industry 4.0.  ...  In the cyber system of ESCPWS for die casting three the key functions exist: the monitoring function, prediction function and selfadaptation function.  ... 
doi:10.17559/tv-20170803142215 fatcat:hmka36vz3radzlk6yltxcgaz7e

Making Sense of the World: Models for Reliable Sensor-Driven Systems [article]

Muffy Calder, Simon Dobson, Michael Fisher, Julie McCann
2019 arXiv   pre-print
This is more than standard software engineering: uncertainty pervades not only sensors themselves, but the physical and digital environments in which these systems operate.  ...  In this position paper we develop these new concepts, illustrate their application to two example systems, and describe some of the new research challenges involved in modelling for assurance.  ...  Acknowledgments This work is supported by the Science of Sensor System Software programme grant, funded by the EPSRC (Engineering and Physical Sciences Research Council), EP/N007565/1.  ... 
arXiv:1803.10478v2 fatcat:u3eag3viszaj7lcdvufmrrpkoi

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems

Muffy Calder, Simon Dobson, Michael Fisher, Julie McCann
2018 Computers  
However, can we be sure that these systems work as expected? Can we model them in a way that captures all the key issues?  ...  We define two concepts: frames of reference and frames of function that help us organise models of sensor-based systems and their purpose.  ...  to the study of such cyber-physical systems, noting that "software abstractions were not created for cyber-physical systems.  ... 
doi:10.3390/computers7040062 fatcat:gplpczpkuvf45bnowrk2z7iuxe
« Previous Showing results 1 — 15 out of 1,381 results