Filters








267 Hits in 6.0 sec

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components [article]

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
<span title="2018-12-16">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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

Koen Claessen, Nicholas Smallbone, Johan Eddeland, Zahra Ramezani, Knut Åkesson
<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> &nbsp;
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]

Simone Silvetti, Alberto Policriti, Luca Bortolussi
<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> &nbsp;
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;">&#10033;</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]

Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
<span title="2020-04-13">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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]

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
<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> &nbsp;
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

Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
<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> &nbsp;
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]

Sagnik Basumallik
<span title="2020-02-25">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
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]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
<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> &nbsp;
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]

Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy Deshmukh
<span title="2021-07-05">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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]

Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
<span title="2021-11-08">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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]

Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer
<span title="2020-07-11">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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)

Martin Fränzle, James Kapinski, Pavithra Prabhakhar, Marc Herbstritt
<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> &nbsp;
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

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
<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> &nbsp;
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

Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
<span title="2021-10-05">2021</span> <i title="Zenodo"> Zenodo </i> &nbsp;
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]

Xiao Wang, Saasha Nair, Matthias Althoff
<span title="2020-07-17">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</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>
&laquo; Previous Showing results 1 &mdash; 15 out of 267 results