vault backup: 2025-05-12 11:13:43
This commit is contained in:
parent
d80ade277e
commit
e6d95a8972
@ -11,6 +11,8 @@ last_import: 2025-05-12
|
||||
---
|
||||
|
||||
# Indexing Information
|
||||
Published: 2021-04
|
||||
|
||||
**DOI**
|
||||
[10.48550/arXiv.2104.02466](https://doi.org/10.48550/arXiv.2104.02466)
|
||||
#Computer-Science---Machine-Learning, #Computer-Science---Logic-in-Computer-Science, #Computer-Science---Programming-Languages
|
||||
|
||||
@ -8,10 +8,12 @@ authors:
|
||||
citekey: "taylorEnhancingCyberPhysicalSystem2025"
|
||||
publish_date: 2025-06-23
|
||||
location: "Naples, Italy"
|
||||
last_import: 2025-05-06
|
||||
last_import: 2025-05-12
|
||||
---
|
||||
|
||||
# Indexing Information
|
||||
Published: 2025-06
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
@ -16,6 +16,8 @@ last_import: 2025-05-12
|
||||
---
|
||||
|
||||
# Indexing Information
|
||||
Published: 2019-04
|
||||
|
||||
**DOI**
|
||||
[10.1145/3302504.3311802](https://doi.org/10.1145/3302504.3311802)
|
||||
**ISBN**
|
||||
|
||||
@ -32,6 +32,8 @@ last_import: {{ importDate | format("YYYY-MM-DD") }}
|
||||
---
|
||||
|
||||
# Indexing Information
|
||||
Published: {{ date | format("YYYY-MM") }}
|
||||
|
||||
{% if DOI -%}
|
||||
**DOI**
|
||||
[{{ DOI }}](https://doi.org/{{ DOI }})
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
---
|
||||
authors:
|
||||
|
||||
- "Lee, Edward A."
|
||||
- "Lee, Edward"
|
||||
|
||||
citekey: "leePresentFutureCyberPhysical2015a"
|
||||
publish_date: 2015-03-01
|
||||
citekey: "leePresentFutureCyberPhysical2015"
|
||||
publish_date: 2015-02-26
|
||||
journal: "Sensors"
|
||||
volume: 15
|
||||
issue: 3
|
||||
@ -13,17 +13,18 @@ last_import: 2025-05-12
|
||||
---
|
||||
|
||||
# Indexing Information
|
||||
Published: 2015-02
|
||||
|
||||
**DOI**
|
||||
[10.3390/s150304837](https://doi.org/10.3390/s150304837)
|
||||
#clock-synchronization, #cyber-physical-systems, #distributed-systems, #PRET-machines, #real-time-systems, #time-synchronization
|
||||
|
||||
|
||||
#InFirstPass
|
||||
|
||||
#ToRead
|
||||
|
||||
|
||||
>[!Abstract]
|
||||
>This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.>[!seealso] Related Papers
|
||||
>This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.>[!seealso] Related Papers
|
||||
>
|
||||
|
||||
# Annotations
|
||||
@ -32,28 +33,5 @@ last_import: 2025-05-12
|
||||
|
||||
## Highlights From Zotero
|
||||
|
||||
|
||||
|
||||
>[!tip] Brilliant
|
||||
> As an intellectual challenge, CPS is about the intersection, not the union, of the physical and the cyber. It combines engineering models and methods from mechanical, environmental, civil, electrical, biomedical, chemical, aeronautical and industrial engineering with the models and methods of computerscience. This paper argues that these models and methods do not combine easily and that theconsequently CPS constitutes a new engineering discipline that demands its own models and methods.
|
||||
> 2025-05-09 1:50 pm
|
||||
|
||||
>[!fail] This ain't right
|
||||
> His control logic was effectively acomputation, albeit one carried out with analog circuits and mechanical parts, and therefore, cyberneticsis the conjunction of physical processes, computation and communication.
|
||||
> 2025-05-09 1:52 pm
|
||||
|
||||
>[!tip] Brilliant
|
||||
> the fog (like the cloud, but closer to the ground)
|
||||
> 2025-05-09 1:53 pm
|
||||
|
||||
>[!highlight] Highlight
|
||||
> Engineers often conflate the model with the thing being modeled. For example, electrical engineersmay refer to an ODE as “the system” and use it to assert, for example, that “the system is stable.”Such a statement, however, is not a valid statement about a physical system. It is a statement about a model of the physical system. Arguably, any definitive statement about a system (stability, determinism,timeliness, reliability, safety) is in fact a statement about a model and not a statement about the thingbeing modeled. I call this idea the “Kopetz principle,” after Hermann Kopetz, from whom I learned it. Emphasizing the need to avoid conflating the model with the thing being modeled, Solomon WolfGolomb famously stated “you will never strike oil by drilling through the map” [2].
|
||||
> 2025-04-30 9:23 pm
|
||||
|
||||
>[!done] Important
|
||||
> Ptides leverages network clock synchronization, which I believe will become ubiquitous
|
||||
> 2025-05-09 1:56 pm
|
||||
|
||||
|
||||
## Follow-Ups
|
||||
|
||||
|
||||
@ -1,26 +1,40 @@
|
||||
{
|
||||
"nodes":[
|
||||
{"id":"5e184d3db8adc84a","type":"text","text":"NEWER","x":-1000,"y":-585,"width":250,"height":60},
|
||||
{"id":"ce7357ee8c8c4a0c","type":"text","text":"","x":-330,"y":1400,"width":250,"height":60},
|
||||
{"id":"bbe4a58a5af748eb","type":"text","text":"OLDER","x":-1000,"y":920,"width":250,"height":60},
|
||||
{"id":"35eebdf6214c8c88","type":"text","text":"# Machine Learning","x":185,"y":-760,"width":440,"height":80},
|
||||
{"id":"bcc9c2b5dc701338","type":"text","text":"# Formal Methods","x":-480,"y":-759,"width":440,"height":80},
|
||||
{"id":"f9208a6e4a7ef241","type":"text","text":"## Linear Temporal Logic","x":-653,"y":-592,"width":346,"height":74},
|
||||
{"id":"6d8080147062d756","type":"text","text":"## Control Systems","x":-80,"y":-640,"width":250,"height":85},
|
||||
{"id":"cdbcb13db184af6e","type":"text","text":"## Neural Networks","x":235,"y":-568,"width":250,"height":100},
|
||||
{"id":"6b62b3a19b06fc0a","type":"file","file":"Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":415,"y":-300,"width":420,"height":400,"color":"3"},
|
||||
{"id":"bac68ab8fa2c1c9b","type":"file","file":"Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-165,"y":-380,"width":485,"height":360,"color":"1"},
|
||||
{"id":"684196d797ac66e3","type":"file","file":"Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"}
|
||||
{"id":"b86989bf5f8642f0","type":"text","text":"2025","x":-1000,"y":-450,"width":250,"height":60},
|
||||
{"id":"17ab7dbc641481be","type":"text","text":"2021","x":-1000,"y":180,"width":250,"height":60},
|
||||
{"id":"053be4b4e5459efa","type":"text","text":"2023","x":-1000,"y":-160,"width":250,"height":60},
|
||||
{"id":"ce4a2c0bf9224f9d","type":"text","text":"2019","x":-1000,"y":500,"width":250,"height":60},
|
||||
{"id":"684196d797ac66e3","type":"file","file":"Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"},
|
||||
{"id":"35eebdf6214c8c88","type":"text","text":"# Machine Learning","x":-1855,"y":100,"width":440,"height":80},
|
||||
{"id":"f9208a6e4a7ef241","type":"text","text":"## Linear Temporal Logic","x":-1415,"y":-257,"width":346,"height":74},
|
||||
{"id":"bcc9c2b5dc701338","type":"text","text":"# Formal Methods","x":-1885,"y":-420,"width":440,"height":80},
|
||||
{"id":"cdbcb13db184af6e","type":"text","text":"## Neural Networks","x":-1367,"y":360,"width":250,"height":100},
|
||||
{"id":"6d8080147062d756","type":"text","text":"# Control Systems","x":-1885,"y":500,"width":440,"height":85},
|
||||
{"id":"a48f191e45326c85","type":"text","text":"3rd Pass","x":-1305,"y":-615,"width":140,"height":60,"color":"#247402"},
|
||||
{"id":"b888908bc3509237","type":"text","text":"Not Read","x":-1808,"y":-615,"width":150,"height":60,"color":"1"},
|
||||
{"id":"42d4be73c13f91cb","type":"text","text":"1st Pass","x":-1635,"y":-615,"width":140,"height":60,"color":"3"},
|
||||
{"id":"a2800119b02cdda0","type":"text","text":"2nd Pass","x":-1467,"y":-615,"width":145,"height":60,"color":"4"},
|
||||
{"id":"1c13a0968706a8b0","type":"text","text":"Brilliant / Important","x":-1808,"y":-695,"width":243,"height":60,"color":"5"},
|
||||
{"id":"53a95b3f2101d32c","x":-720,"y":1260,"width":480,"height":300,"color":"3","type":"file","file":"Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md"},
|
||||
{"id":"ac067a0584359781","x":-1515,"y":670,"width":297,"height":80,"type":"text","text":"## Cyber-Physical Systems"},
|
||||
{"id":"bbe4a58a5af748eb","type":"text","text":"OLDER","x":-1000,"y":1600,"width":250,"height":60},
|
||||
{"id":"b081d5b64b515d56","type":"text","text":"2017","x":-1000,"y":890,"width":250,"height":60},
|
||||
{"id":"2e49adbdc97ce1c2","type":"text","text":"2015","x":-1000,"y":1260,"width":250,"height":60},
|
||||
{"id":"6b62b3a19b06fc0a","type":"file","file":"Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":-100,"y":210,"width":420,"height":400,"color":"3"},
|
||||
{"id":"bac68ab8fa2c1c9b","type":"file","file":"Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-720,"y":530,"width":485,"height":360,"color":"3"}
|
||||
],
|
||||
"edges":[
|
||||
{"id":"96f75a4631d60661","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"6b62b3a19b06fc0a","toSide":"top"},
|
||||
{"id":"bc94b9297ce2103a","fromNode":"6d8080147062d756","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top"},
|
||||
{"id":"766a32fa431c6398","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top"},
|
||||
{"id":"cac141857b18b1d4","fromNode":"cdbcb13db184af6e","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top"},
|
||||
{"id":"766a32fa431c6398","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top","color":"2"},
|
||||
{"id":"25f8b04d82996c32","fromNode":"bbe4a58a5af748eb","fromSide":"top","toNode":"5e184d3db8adc84a","toSide":"bottom"},
|
||||
{"id":"4c55047c849221b0","fromNode":"35eebdf6214c8c88","fromSide":"bottom","toNode":"cdbcb13db184af6e","toSide":"top"},
|
||||
{"id":"8e7231a4f14bca4a","fromNode":"35eebdf6214c8c88","fromSide":"bottom","toNode":"6b62b3a19b06fc0a","toSide":"top"},
|
||||
{"id":"c9fd438ad36d91b7","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"f9208a6e4a7ef241","toSide":"top"},
|
||||
{"id":"941d0f5178c0c38c","fromNode":"f9208a6e4a7ef241","fromSide":"bottom","toNode":"684196d797ac66e3","toSide":"top"}
|
||||
{"id":"66ff531cf74ca736","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"f9208a6e4a7ef241","toSide":"left","color":"2"},
|
||||
{"id":"d0e7818c33f3f1e4","fromNode":"f9208a6e4a7ef241","fromSide":"right","toNode":"684196d797ac66e3","toSide":"left","color":"2"},
|
||||
{"id":"d3fc8e41f74c6be2","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"6b62b3a19b06fc0a","toSide":"left","color":"2"},
|
||||
{"id":"989962cf09e6c69a","fromNode":"35eebdf6214c8c88","fromSide":"bottom","toNode":"6b62b3a19b06fc0a","toSide":"left","color":"1"},
|
||||
{"id":"0bf0b6a89dc178f1","fromNode":"35eebdf6214c8c88","fromSide":"bottom","toNode":"cdbcb13db184af6e","toSide":"left","color":"1"},
|
||||
{"id":"6fcecc3bb05f31d4","fromNode":"cdbcb13db184af6e","fromSide":"right","toNode":"bac68ab8fa2c1c9b","toSide":"top","color":"1"},
|
||||
{"id":"bc21fb713db9811b","fromNode":"6d8080147062d756","fromSide":"bottom","toNode":"ac067a0584359781","toSide":"left","color":"5"},
|
||||
{"id":"4c935f8e58244ecc","fromNode":"ac067a0584359781","fromSide":"right","toNode":"53a95b3f2101d32c","toSide":"top","color":"5"},
|
||||
{"id":"436873e6397fad07","fromNode":"ac067a0584359781","fromSide":"right","toNode":"bac68ab8fa2c1c9b","toSide":"left","color":"5"}
|
||||
]
|
||||
}
|
||||
@ -0,0 +1,29 @@
|
||||
# First Pass
|
||||
**Category:**
|
||||
Framework / Modelling
|
||||
|
||||
**Context:**
|
||||
Showing that CPS can't be modeled like linear systems.
|
||||
|
||||
**Correctness:**
|
||||
Who knows.
|
||||
|
||||
**Contributions:**
|
||||
A big focus on **deterministic** models
|
||||
|
||||
**Clarity:**
|
||||
Some grammar mistakes and significant jabbering.
|
||||
|
||||
# Second Pass
|
||||
**What is the main thrust?**
|
||||
|
||||
**What is the supporting evidence?**
|
||||
|
||||
**What are the key findings?**
|
||||
|
||||
# Third Pass
|
||||
**Recreation Notes:**
|
||||
|
||||
**Hidden Findings:**
|
||||
|
||||
**Weak Points? Strong Points?**
|
||||
Loading…
x
Reference in New Issue
Block a user