Filters








10,597 Hits in 3.2 sec

Logic & Proofs for Cyber-Physical Systems [chapter]

André Platzer
2016 Lecture Notes in Computer Science  
André Platzer (CMU) Logic & Proofs for Cyber-Physical Systems IJCAR'16 1 / 2 André Platzer (CMU) Logic & Proofs for Cyber-Physical Systems IJCAR'16 1 / 2 Scalable continuous stochastics CADE'11 Concurrent  ...  & Proofs for Cyber-Physical Systems IJCAR'16 27 / 27 Logical Foundations of Cyber-Physical Systems Logic Theorem Proving Proof Theory Modal Logic Model Checking Algebra Computer  ...  i.e. bound variables U = BV(⊗(·)) of operator ⊗ are not free in the substitution on its argument θ (U-admissible) Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012  ... 
doi:10.1007/978-3-319-40229-1_3 fatcat:wz6amgaksjfufkqhydh4rjxjba

Communicating and Negotiating Proof Events in the Cyber – Physical Systems

Gopal T V
2017 International Journal of Advanced Research in Computer Science and Software Engineering  
"Logic sometimes breeds monsters" -Henri Poincare This paper proposes a method for Communicating and Negotiating Proof Events in the Cyber -Physical Systems.  ...  -Phil Davis and Reuben Hersh, The Mathematical Experience, 1981 Engineering logic proposed by the author [16] is a blend of Computational logic and Institutional logics with the modelization of the physics  ...  Cyber -Physical Systems warrant freedom for engineers to trade off across the cyber/physical divide, and to do so early.  ... 
doi:10.23956/ijarcsse/v7i3/0184 fatcat:lo66767o3ne2tfbzmukyhpizj4

Towards foundational verification of cyber-physical systems

Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
2016 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)  
The safety-critical aspects of cyber-physical systems motivate the need for rigorous analysis of these systems.  ...  In this paper we present VERIDRONE, a foundational framework for reasoning about cyber-physical systems at all levels from high-level models to C code that implements the system.  ...  The importance of safety for cyber-physical systems has motivated a lot of work to improve their reliability.  ... 
doi:10.1109/soscyps.2016.7580000 dblp:conf/cpsweek/MalechaRAL16 fatcat:px7fwlh6u5g3tcw5tqnbzo4iva

André Platzer: Logical foundations of cyber-physical systems

Alexander Knapp, Markus Roggenbach
2020 Formal Aspects of Computing  
André Platzer: Logical foundationsof cyber-physical systems  ...  Thus, the foundations for cyber physical systems engineering are laid.  ...  For reasoning, a differential dynamic logic is introduced, accompanied with a sound proof calculus in sequent style.  ... 
doi:10.1007/s00165-020-00510-7 fatcat:fi6i3l3ihjaorb5e4e73ynfpdi

Toward Distributed Declarative Control of Networked Cyber-Physical Systems [chapter]

Mark-Oliver Stehr, Minyoung Kim, Carolyn Talcott
2010 Lecture Notes in Computer Science  
Networked Cyber-Physical Systems (NCPS) present many challenges that are not suitably addressed by existing distributed computing paradigms.  ...  We illustrate our approach with a simulation prototype of our logical framework in the context of networked mobile robot teams that operate in an abstract instrumented cyber-physical space with sensors  ...  This opens up an opportunity for a new generation of Networked Cyber-Physical Systems (NCPS).  ... 
doi:10.1007/978-3-642-16355-5_32 fatcat:fssumn3uajaxjbk43adnfeuqla

A Distributed Logic for Networked Cyber-Physical Systems [chapter]

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott
2012 Lecture Notes in Computer Science  
A distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems provides notions of facts and goals that include interactions with the environment  ...  Proofs are outlined for key properties corresponding to soundness, completeness, and termination.  ...  and Foundations for Fractionated Networked Cyber-Physical Systems) is gratefully acknowledged.  ... 
doi:10.1007/978-3-642-29320-7_13 fatcat:btlfk6xnnndjhor4rhjg7mtnmq

A distributed logic for Networked Cyber-Physical Systems

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott
2013 Science of Computer Programming  
A distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems provides notions of facts and goals that include interactions with the environment  ...  Proofs are outlined for key properties corresponding to soundness, completeness, and termination.  ...  and Foundations for Fractionated Networked Cyber-Physical Systems) is gratefully acknowledged.  ... 
doi:10.1016/j.scico.2013.01.011 fatcat:nbxnr5rw6nb6fg6bwdqqc563si

Overview of Logical Foundations of Cyber-Physical Systems [article]

André Platzer
2019 arXiv   pre-print
Due to their many subtleties, controllers for cyber-physical systems deserve to be held to the highest correctness standards.  ...  This chapter provides an informal overview of this logical approach to CPS safety that is detailed in a recent textbook on Logical Foundations of Cyber-Physical Systems.  ...  I thank Brandon Bohrer for his feedback on this overview.  ... 
arXiv:1910.11232v1 fatcat:uqhuwcyi25gr7aq75qvgfmzfe4

Introduction of a Hybrid Monitor to Cyber-Physical Systems [article]

J Ceasar Aguma, Bruce McMillin, Amelia Regan
2019 arXiv   pre-print
Using theoretical cyber, physical, and cyber-physical attack scenarios, this text will highlight the need for some sort of monitor in cyber-physical systems as an extra security measure.  ...  These are threats that cannot be blocked by a firewall for they are not only cyber but cyber-physical.  ...  towards fully securing an important and nonexpendable entity of smart living that is cyber-physical systems. VII. Acknowledgments VIII. References  ... 
arXiv:1805.01975v2 fatcat:7goare7f5jakbgz3khq3t2saxm

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
2015 Electronical Notes in Theoretical Computer Science  
performance of the combined hybrid system.  ...  Furthermore, the temporal causality constraints in the thermal physics must be made explicit to obtain a consistent model for analysis.  ...  Acknowledgement Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S.  ... 
doi:10.1016/j.entcs.2015.10.008 fatcat:piwvymsadrdulhctaa6uw5nnqq

Cost Ic1404 Wg4 Y1 And Y2 Technical Report Wg4.2 Cps Profile - Systematic Search

Vasco Amaral, Paulo Carreira, Miguel Goulão, Goran Martinović, Lejla Banjanovic-Mehmedovic
2016 Zenodo  
Reference books on CPS engineering The ultimate goal of this exercise is to serve as input information to the task force that is going to define the CPS engineer's different profiles that are the baseline for  ...  Emotional cognitive mechanisms for cyber-physical systems From smart objects to intelligent cyber-physical systems  ...  Fig. 1 - 1 Fig. 1 -Activity diagram depicting the Systematic Search methodology Logics and Proof Calculi for Hybrid Systems Differential Dynamic Logic dℒ Differential-Algebraic Dynamic Logic DAL Differential  ... 
doi:10.5281/zenodo.223856 fatcat:k6ar3kxe5vfdrhl66jtqprcxgi

A Novel Chip-Level Blockchain Security Solution for the Internet of Things Networks

Hiroshi Watanabe, Howie Fan
2019 Technologies  
Enabling blockchain to protect IoT cannot be brought to reality without respectively identifying logical and physical nodes. This is identical to the Proof-of-Trust problem.  ...  However, software copes with logical nodes and IoT involves a vast number of physical nodes (IoT devices).  ...  Hamamoto, Zentel Japan for the collaboration of the measurement. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/technologies7010028 fatcat:vgy6u5fx4vd5pk73eq2pl7fyva

Reducing Vulnerability To Cyber-Physical Attacks In Water Distribution Networks

Nicolas Nicolaou, Demetrios G. Eliades, Christos Panayiotou, Marios M. Polycarpou
2018 Zenodo  
A proof-of-concept of the approach is demonstrated over a simple WDN, with intuition on how this can be used to increase the cyber-physical security level of the system.  ...  Cyber-Physical Systems (CPS), such as Water Distribution Networks (WDNs), deploy digital devices to monitor and control the behavior of physical processes.  ...  Given the system with the physical and cyber components which were introduced above, we can model the Cyber-Physical system as a directed graph, defined as logic graph G = (V, E), where: V = {v : v ∈ C  ... 
doi:10.5281/zenodo.1250405 fatcat:kpuxdk65lfc6llihokd3vh3kdq

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges [article]

Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das
2020 arXiv   pre-print
These successes suggest it might be possible to ensure the safety of autonomous systems by constructing formal, computer-checked correctness proofs.  ...  Over the past decade, techniques based on formal methods have enjoyed some success in providing strong correctness guarantees for large software systems including operating system kernels, cryptographic  ...  These proofs are typically constructed and checked using a cyber-physical systems verification tool such as Flow* [4] , KeYmaera X [8] , or SpaceEx [6] .  ... 
arXiv:2006.09181v1 fatcat:qofemirazvdybjq44h63xducdm

A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B [chapter]

Meryem Afendi
2020 Lecture Notes in Computer Science  
Cyber-Physical Systems (CPSs) connect the real world to software systems through a network of sensors and actuators: physical and discrete components interact in complex ways by involving different spatial  ...  One of the most common architectures for CPSs is a discrete software controller which interacts with its physical environment in a closed-loop schema where input from sensors is processed and output is  ...  Platzer introduced in [3] a first-order dynamic logic in the domain of real (IR), called dL, to specify hybrid systems and verify their correctness using its associated proof calculus.  ... 
doi:10.1007/978-3-030-48077-6_31 fatcat:ecwxfxgtx5gfza322fzuwwkgbq
« Previous Showing results 1 — 15 out of 10,597 results