<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Glen -</p>
<p>It does look very interesting. I think I've referenced THIS
(inter-reality) work before:</p>
<blockquote>
<p><a class="moz-txt-link-freetext" href="https://arxiv.org/abs/physics/0611293">https://arxiv.org/abs/physics/0611293</a></p>
</blockquote>
<p>as well as the Phononic quantum computing my nephew has been
working on.</p>
<blockquote>
<p><a class="moz-txt-link-freetext" href="https://www.technologyreview.com/s/428844/how-to-build-a-phononic-computer/">https://www.technologyreview.com/s/428844/how-to-build-a-phononic-computer/</a></p>
</blockquote>
<p>where classical meets quantum in a more *obvious* way than usual.<br>
</p>
<p>it *does* seem that the mismatch of modeling paradigms between
science and engineering and often even different domains of either
as they converge is a fundamental problem for modelers and
simulants and the projects they work on.<br>
</p>
<p>I was recently at NREL working with them on the Visualization of
Uncertainty which is naturally grounded in the Quantification of
Uncertainty which requires some understanding of the Qualities of
Uncertainty (e.g. Aleotoric, Epistimic, Ontological) and exposes
the many ways one can make mistakes in trying to compound or
resolve different types of uncertainties (or errors) against one
another.</p>
<p>NREL (and my colleague there) do a LOT of blending/combining of
models and are fortunately very sensitive to these issues, whereas
many people approaching this for the first time can be rather
naive in the way they mash things together.<br>
</p>
<p>My first professional job was in developing control systems for a
Proton Storage Ring. The folks on the task were *highly* aware of
the problems of coupling digital and analog systems, though mostly
focused on the obvious problems with sampling continuous
phenomena. This was 1981 so there were a lot fewer digital
components and digital performance was a tiny fraction of what it
is today, leading to more thoughtful care (I contend).</p>
<p>- Steve<br>
</p>
<div class="moz-cite-prefix">On 4/11/19 8:35 AM, glen∈ℂ wrote:<br>
</div>
<blockquote type="cite"
cite="mid:f0a12105-6885-08a2-612f-5f6352e12abd@gmail.com">Arg! I
wish I could go to this. If any of you do, please send along some
notes.
<br>
<br>
2nd Workshop on Formal Verification of Physical Systems (FVPS
2019)
<br>
<a class="moz-txt-link-freetext" href="https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general">https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general</a>
<br>
<br>
<blockquote type="cite">Theme
<br>
<br>
One of the main issues behind many failing systems is the ad-hoc
verification approach that involves a variety of formalism and
techniques for the modeling and analysis of various components
of the present-age (cyber)-physical systems. For example,
control and communication protocols are usually modeled using
automata theory, and thus analyzed using model checking
techniques, while the modeling of physical aspects often require
multivariate calculus foundations, which are in turn analyzed
using paper-and-pencil based analytical proofs, simulation or
theorem proving. The fundamental differences between these
modeling and analysis techniques limit us to analyze the whole
system as one unit and thus miss many corner cases, which arise
due to the operation of all the sub-components of the system
together. One of the major concerns is that, despite the
above-mentioned evident limitation in the analysis methods, many
safety-critical systems, such as aerospace, smart-transportati!
<br>
</blockquote>
on, smart-grid and e-health, are increasingly involving physical
elements. Moreover, we are moving towards integrating more complex
physical elements in our engineering systems. For example, we are
moving towards Quantum Computers to meet the high performance
needs. Similarly, phonic components are increasingly being
advocated and used in aerospace applications due to their
lightweight and temperature independency compared to traditional
electronics based components. Finally, the impact of physical
components is relevant to both safety and security of the overall
system. For example, malfunction in sensor measurement may lead to
safety issues whereas sophisticated physics based side-channel
(e.g., power and acoustic measurements) attacks lead to the
security violation of the underlying system.
<br>
<blockquote type="cite">
<br>
The objective of the workshop is to gather scientists and
engineers interested in formal verification techniques for the
modeling, analysis and verification of safety and security
critical physical systems. We encourage submissions on
interdisciplinary approaches that bring together formal methods
and techniques from other knowledge areas such as quantum
computing, control theory, biology, optimization theory and
artificial intelligence. </blockquote>
<br>
============================================================
<br>
FRIAM Applied Complexity Group listserv
<br>
Meets Fridays 9a-11:30 at cafe at St. John's College
<br>
to unsubscribe
<a class="moz-txt-link-freetext" href="http://redfish.com/mailman/listinfo/friam_redfish.com">http://redfish.com/mailman/listinfo/friam_redfish.com</a>
<br>
archives back to 2003: <a class="moz-txt-link-freetext" href="http://friam.471366.n2.nabble.com/">http://friam.471366.n2.nabble.com/</a>
<br>
FRIAM-COMIC <a class="moz-txt-link-freetext" href="http://friam-comic.blogspot.com/">http://friam-comic.blogspot.com/</a> by Dr. Strangelove
<br>
</blockquote>
</body>
</html>