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 <a rel="external noopener" href="https://arxiv.org/pdf/1703.00978v3.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
[article]
<span title="2018-12-16">2018</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
Other Versions
<span title="2017-03-02">2017</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v1">arXiv:1703.00978v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ejcal54k2ffkrmukpp6fodapdi">fatcat:ejcal54k2ffkrmukpp6fodapdi</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v1">arXiv:1703.00978v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ejcal54k2ffkrmukpp6fodapdi">fatcat:ejcal54k2ffkrmukpp6fodapdi</a> </span>
<span title="2017-11-22">2017</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v2">arXiv:1703.00978v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xh7an5quyrcljmd5jgbfljdtxq">fatcat:xh7an5quyrcljmd5jgbfljdtxq</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v2">arXiv:1703.00978v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xh7an5quyrcljmd5jgbfljdtxq">fatcat:xh7an5quyrcljmd5jgbfljdtxq</a> </span>
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. ...
In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. ...
Not surprisingly, ML is being used in cyber-physical systems (CPS) -systems that are integrations of computation with physical processes. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v3">arXiv:1703.00978v3</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z7k4ruq3ifdnngbzfmljshknli">fatcat:z7k4ruq3ifdnngbzfmljshknli</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930171953/https://arxiv.org/pdf/1703.00978v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/55/b8/55b8433cea96d20340570d0ac664586f217d0306.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1703.00978v3" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
<span title="">2018</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4oklsgzkjvbihhegxblzc6b7re" style="color: black;">IFAC-PapersOnLine</a>
</i>
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 <a rel="external noopener" href="https://research.chalmers.se/publication/504400/file/504400_Fulltext.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We use this logic to simplify failing test inputs in the context of random testing of cyber-physical systems and show that it improves the quality of counterexamples found. ...
We use this logic to simplify failing test inputs in the context of random testing of cyber-physical systems and show that it improves the quality of counterexamples found. ...
In software testing, as in cyber-physical systems testing, test suites are traditionally developed by hand. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ifacol.2018.06.333">doi:10.1016/j.ifacol.2018.06.333</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dxmx5qzjhnbmlmhx5fhsjvagy4">fatcat:dxmx5qzjhnbmlmhx5fhsjvagy4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201104214159/https://research.chalmers.se/publication/504400/file/504400_Fulltext.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/87/258750dc773e335283a8a20da3175a7817d7fe33.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ifacol.2018.06.333">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
[chapter]
<span title="">2017</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
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 <a rel="external noopener" href="https://arxiv.org/pdf/1705.01879v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
<span title="2017-05-04">2017</span> <span class="release-stage" >pre-print</span> <span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1705.01879v1">arXiv:1705.01879v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4vxtybcq2fak3iyrckiwxdeq2m">fatcat:4vxtybcq2fak3iyrckiwxdeq2m</a> </span>Other Versions
<span title="2017-08-28">2017</span>
<span class="release-stage">accepted</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1705.01879v2">arXiv:1705.01879v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iwa2ajytnbfh3o3clgew6lyvvy">fatcat:iwa2ajytnbfh3o3clgew6lyvvy</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1705.01879v2">arXiv:1705.01879v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iwa2ajytnbfh3o3clgew6lyvvy">fatcat:iwa2ajytnbfh3o3clgew6lyvvy</a> </span>
Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. ...
We tackle the falsification of formal properties of complex black box models of Cyber-Physical Systems, leveraging machine learning techniques from the area of Active Learning. ...
The majority of systems in these areas are Cyber-Physical Systems (CPS) [5] , where physical and software components interact producing complex behaviors. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-66845-1_1">doi:10.1007/978-3-319-66845-1_1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zz3joedvwjhpbdfjq6zkpesk5u">fatcat:zz3joedvwjhpbdfjq6zkpesk5u</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828195808/https://arxiv.org/pdf/1705.01879v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<span style="color: #f43e3e;">✱</span>
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/1e/e4/1ee45630fd99912e655b97eab5f363c6ebbe7545.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-66845-1_1">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
[article]
<span title="2020-04-13">2020</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 <a rel="external noopener" href="https://arxiv.org/pdf/2001.05107v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Other Versions
<span title="2020-01-15">2020</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.05107v1">arXiv:2001.05107v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cbhpktom6zbhhf5lbu4iji64hm">fatcat:cbhpktom6zbhhf5lbu4iji64hm</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.05107v1">arXiv:2001.05107v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cbhpktom6zbhhf5lbu4iji64hm">fatcat:cbhpktom6zbhhf5lbu4iji64hm</a> </span>
Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verification. ...
We propose three approaches for systematically addressing input constraints in optimization-based falsification, two among which come from the lexicographic method studied in the context of constrained ...
Introduction Cyber-physical systems (CPS) combine physical systems with digital controllers: while the former are characterized by continuous dynamics, the latter are inherently discrete. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.05107v2">arXiv:2001.05107v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2re3tmav5bpznxvjubuvyuwsu">fatcat:c2re3tmav5bpznxvjubuvyuwsu</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200415020021/https://arxiv.org/pdf/2001.05107v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2001.05107v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
[chapter]
<span title="">2017</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
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 <a rel="external noopener" href="http://pdfs.semanticscholar.org/e657/210ed40acdf39a57eb3b01fdcbeb7457bb30.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. ...
In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. ...
Not surprisingly, ML is being used in cyber-physical systems (CPS) -systems that are integrations of computation with physical processes. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57288-8_26">doi:10.1007/978-3-319-57288-8_26</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/evx5o5i5b5hn3iwfaidm6tehvi">fatcat:evx5o5i5b5hn3iwfaidm6tehvi</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307200628/http://pdfs.semanticscholar.org/e657/210ed40acdf39a57eb3b01fdcbeb7457bb30.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/e6/57/e657210ed40acdf39a57eb3b01fdcbeb7457bb30.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57288-8_26">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
<span title="">2020</span>
<i title="Institute of Electrical and Electronics Engineers (IEEE)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a>
</i>
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 2021; you can also visit <a rel="external noopener" href="https://ieeexplore.ieee.org/ielx7/43/9244237/09211466.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Index Terms-(In)equality constraints, hybrid system falsification, search space transformation, signal temporal logic. ...
Therefore, research attempts focused on hybrid system falsification of a black-box model, a technique that aims at finding an input signal violating the desired temporal specification. ...
INTRODUCTION H YBRID Systems Falsification: Cyber-physical systems (CPSs) are hybrid systems combining physical and digital components. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2020.3013073">doi:10.1109/tcad.2020.3013073</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fckkmg3ybzhnbbf3qqzsz5rrge">fatcat:fckkmg3ybzhnbbf3qqzsz5rrge</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429114519/https://ieeexplore.ieee.org/ielx7/43/9244237/09211466.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/f9/57f9ff2cabce43d5b509d97cc80f7901f3a78633.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2020.3013073">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
A Taxonomy of Data Attacks in Power Systems
[article]
<span title="2020-02-25">2020</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 <a rel="external noopener" href="https://arxiv.org/pdf/2002.11011v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This paper tracks the progress of research in power system cyber security over the last decade and presents a taxonomy of data attacks. ...
When cyber networks in power system are compromised, time-critical data can be dropped and modified, which can impede real time operations and decision making. ...
Such data attacks involve load measurement redistribution, topology falsification or a coordination of physical attacks augmented with false data. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.11011v1">arXiv:2002.11011v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qnh3li5os5b4tn2iadhy7f24ze">fatcat:qnh3li5os5b4tn2iadhy7f24ze</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321141505/https://arxiv.org/pdf/2002.11011v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.11011v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
[chapter]
<span title="">2018</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
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 <a rel="external noopener" href="http://pdfs.semanticscholar.org/1c8e/889fdf98854d1bc4dafccec42242ba25bf81.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. ...
When dealing with cyber-physical systems, whose existence and interaction scope are not confined to the world inside a computer for which practically exact models exist, complete formal verification is ...
Bartocci acknowledges the partial support of the Austrian National Research Network S 11405-N23 (RiSE/SHiNE) of the Austrian Science Fund (FWF). G. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-75632-5_5">doi:10.1007/978-3-319-75632-5_5</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2m52qvfax5cn3fgyhcl3piy2ui">fatcat:2m52qvfax5cn3fgyhcl3piy2ui</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220002314/http://pdfs.semanticscholar.org/1c8e/889fdf98854d1bc4dafccec42242ba25bf81.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/8e/1c8e889fdf98854d1bc4dafccec42242ba25bf81.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-75632-5_5">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Automatic Testing With Reusable Adversarial Agents
[article]
<span title="2021-07-05">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 2021; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1910.13645v3.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Other Versions
<span title="2020-02-29">2020</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v2">arXiv:1910.13645v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oizczgyhm5cdzpbxwghdgatq5q">fatcat:oizczgyhm5cdzpbxwghdgatq5q</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v2">arXiv:1910.13645v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oizczgyhm5cdzpbxwghdgatq5q">fatcat:oizczgyhm5cdzpbxwghdgatq5q</a> </span>
<span title="2019-10-30">2019</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v1">arXiv:1910.13645v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tma3reorvza4hpuh7d4hghcljm">fatcat:tma3reorvza4hpuh7d4hghcljm</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v1">arXiv:1910.13645v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tma3reorvza4hpuh7d4hghcljm">fatcat:tma3reorvza4hpuh7d4hghcljm</a> </span>
problem of synthesizing controllers for (constrained) ado agents that cause the ego agent to violate its specifications. ...
Autonomous systems such as self-driving cars and general-purpose robots are safety-critical systems that operate in highly uncertain and dynamic environments. ...
In specifying STL constraints, we remove the step of manually crafting rewards. Falsification. There is extensive related work in falsification of cyber-physical system. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v3">arXiv:1910.13645v3</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wa564vv6n5fgpnptvpxveuepny">fatcat:wa564vv6n5fgpnptvpxveuepny</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210711005909/https://arxiv.org/pdf/1910.13645v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/6d/5f6db820f50211701aa659b5494656330e775691.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.13645v3" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
[article]
<span title="2021-11-08">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 2021; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/2111.04324v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Other Versions
<span title="2022-04-19">2022</span>
<span class="release-stage">accepted</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3510457.3513049">doi:10.1145/3510457.3513049</a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.04324v2">arXiv:2111.04324v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jx56jebrhvbjloel5guxjprbw4">fatcat:jx56jebrhvbjloel5guxjprbw4</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3510457.3513049">doi:10.1145/3510457.3513049</a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.04324v2">arXiv:2111.04324v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jx56jebrhvbjloel5guxjprbw4">fatcat:jx56jebrhvbjloel5guxjprbw4</a> </span>
Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc. ...
Based on that, we further perform a systematic evaluation of these AI-enabled systems with their traditional counterparts to identify the current challenges and explore future opportunities. ...
Introduction Cyber-physical systems (CPS) refer to the combination of mechanical and computer systems, in which computer systems actively monitor and control the behaviors of mechanical systems according ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.04324v1">arXiv:2111.04324v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/64rhshxj6natbmnbjzmk2w5rle">fatcat:64rhshxj6natbmnbjzmk2w5rle</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211110005000/https://arxiv.org/pdf/2111.04324v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/cd/22cde30cb8b04ace470cba9c044f37ea9479dac8.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2111.04324v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
A Survey of Algorithms for Black-Box Safety Validation
[article]
<span title="2020-07-11">2020</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 <a rel="external noopener" href="https://arxiv.org/pdf/2005.02979v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Other Versions
<span title="2021-10-14">2021</span>
<span class="release-stage">accepted</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.1.12716">doi:10.1613/jair.1.12716</a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v3">arXiv:2005.02979v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/un6hek5cpnf5zeybyg6fi3ltgu">fatcat:un6hek5cpnf5zeybyg6fi3ltgu</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1613/jair.1.12716">doi:10.1613/jair.1.12716</a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v3">arXiv:2005.02979v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/un6hek5cpnf5zeybyg6fi3ltgu">fatcat:un6hek5cpnf5zeybyg6fi3ltgu</a> </span>
<span title="2020-05-06">2020</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v1">arXiv:2005.02979v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/77nuaw5vnzaafcr2zetb7sdtse">fatcat:77nuaw5vnzaafcr2zetb7sdtse</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v1">arXiv:2005.02979v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/77nuaw5vnzaafcr2zetb7sdtse">fatcat:77nuaw5vnzaafcr2zetb7sdtse</a> </span>
Motivated by the prevalence of safety-critical artificial intelligence, this work provides a survey of state-of-the-art safety validation techniques with a focus on applied algorithms and their modifications ...
Safety validation tasks include finding disturbances to the system that cause it to fail (falsification), finding the most-likely failure, and estimating the probability that the system fails. ...
FalStar (Zhang et al., 2018 ) is a prototype Scala tool for falsification of cyber-physical systems that interfaces with MATLAB through a Java API. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v2">arXiv:2005.02979v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f3xch54ncncb5osveeaw3q4zva">fatcat:f3xch54ncncb5osveeaw3q4zva</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200725203934/https://arxiv.org/pdf/2005.02979v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/1a/221af92a21fe937a892756bff44838837c1863ea.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02979v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)
<span title="2017-01-13">2017</span>
<i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a>
</i>
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 <a rel="external noopener" href="https://drops.dagstuhl.de/opus/volltexte/2017/6913/pdf/dagrep_v006_i009_p029_s16362.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
This report documents the program and the outcomes of Dagstuhl Seminar 16362 "Robustness in Cyber-Physical Systems". ...
Cyber-physical systems (CPS) is a new multi-disciplinary field aimed at providing a rigorous framework for designing and analyzing these systems, and recent developments in CPS-related fields provide techniques ...
Robust Cyber-Physical Systems: An utopia within reach
Temporal-logic-constrained synthesis and verification without discretization Ufuk Topcu (University of Texas -Austin, US)
License Creative Commons ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.6.9.29">doi:10.4230/dagrep.6.9.29</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/FranzleKP16.html">dblp:journals/dagstuhl-reports/FranzleKP16</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uiivaekedzdqdpmn2shsecrpve">fatcat:uiivaekedzdqdpmn2shsecrpve</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034306/https://drops.dagstuhl.de/opus/volltexte/2017/6913/pdf/dagrep_v006_i009_p029_s16362.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/1f/7f1f69fd216581e6b42973e45f38734744545896.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.6.9.29">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
Publisher / doi.org
</button>
</a>
Model Conformance for Cyber-Physical Systems
<span title="2019-08-20">2019</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7eknq3rf7bh2nibqrhycewoigy" style="color: black;">ACM Transactions on Cyber-Physical Systems</a>
</i>
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 <a rel="external noopener" href="https://mediatum.ub.tum.de/doc/1554435/document.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Model-based development is an important paradigm for developing cyber-physical systems (CPS). ...
, e.g., embedded code with physical system Purpose: Implementation validation, target platform execution, integration testing Model to model conformance Model to implementation conformance Detailed physical ...
INTRODUCTION In the field of cyber-physical systems (CPS), the de facto standard for software development is model-based design. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3306157">doi:10.1145/3306157</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eutummyqizdrrhjrrot7a7lhou">fatcat:eutummyqizdrrhjrrot7a7lhou</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201106185850/https://mediatum.ub.tum.de/doc/1554435/document.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/e6/93e679a8fe55246b532498cd6f6e40c221c9a9b0.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3306157">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Sampling of Shape Expressions with ShapEx
<span title="2021-10-05">2021</span>
<i title="Zenodo">
Zenodo
</i>
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 2021; you can also visit <a rel="external noopener" href="https://zenodo.org/record/5550069/files/MEMOCODE_21_CRS___ShapeEx%20%282%29.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes and then (2) instantiates parameters by sampling a possibly non-linear constraint. ...
In this paper we present ShapEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. ...
This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 956123 and from the Austrian FFG ICT of the Future program under grant ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5550068">doi:10.5281/zenodo.5550068</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ypwp46wpprfhbgciifshtar23m">fatcat:ypwp46wpprfhbgciifshtar23m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211008123843/https://zenodo.org/record/5550069/files/MEMOCODE_21_CRS___ShapeEx%20%282%29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/57/03573a6711182e864e7d6fc4c50e2c1b4c2a095f.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.5550068">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
zenodo.org
</button>
</a>
Falsification-Based Robust Adversarial Reinforcement Learning
[article]
<span title="2020-07-17">2020</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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 <a rel="external noopener" href="https://arxiv.org/pdf/2007.00691v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Other Versions
<span title="2020-07-01">2020</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.00691v1">arXiv:2007.00691v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vmzy4w5quzgrhidm4ibqfleubm">fatcat:vmzy4w5quzgrhidm4ibqfleubm</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.00691v1">arXiv:2007.00691v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vmzy4w5quzgrhidm4ibqfleubm">fatcat:vmzy4w5quzgrhidm4ibqfleubm</a> </span>
A drawback of neural-network-based adversaries is that integrating system requirements without handcrafting sophisticated reward signals is difficult. ...
We evaluate our approach on a braking assistance system and an adaptive cruise control system of autonomous vehicles. ...
ACKNOWLEDGMENT The authors gratefully acknowledge the partial financial support of this work by the German Research Foundation Grant AL 1185/3-2 and the Ford Motor Company. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.00691v2">arXiv:2007.00691v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l74dj6b6knhfxagpgk733lwxre">fatcat:l74dj6b6knhfxagpgk733lwxre</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200812004539/https://arxiv.org/pdf/2007.00691v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.00691v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
« Previous
Showing results 1 — 15 out of 267 results