A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Logic & Proofs for Cyber-Physical Systems
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
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
2017
International Journal of Advanced Research in Computer Science and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
"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
2016
2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2013
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1805.01975v1 fatcat:nptgvdf7t5h6dhzwmtrihqdkn4
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
2015
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2019
Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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