Filters








4,988 Hits in 5.4 sec

Dynamic input/output automata: A formal and compositional model for dynamic systems

Paul C. Attie, Nancy A. Lynch
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems.  ...  DIOA can model mobility, using signature modification, and is hierarchical: a dynamically changing system of interacting automata is itself modeled as a single automaton.  ...  Signature I/O Automata We introduce signature input-output automata (SIOA).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2016.03.008">doi:10.1016/j.ic.2016.03.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dki3r2fnbbh6hcndjyvltkft5y">fatcat:dki3r2fnbbh6hcndjyvltkft5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220120122314/https://dspace.mit.edu/bitstream/handle/1721.1/118456/Lynch_Dynamic%20input.pdf;jsessionid=0F703FD1CA4C76B663510A6A8B2CFDCB?sequence=1" 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/48/01/4801db77c989721f5fd1f2c59266f8e507667d37.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2016.03.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Dynamic Input/Output Automata: A Formal Model for Dynamic Systems [chapter]

Paul C. Attie, Nancy A. Lynch
<span title="">2001</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds.  ...  Our model is hierarchical: a dynamically changing system of interacting automata is itself modeled as a single automaton that is "one level higher."  ...  Static mathematical models like I/O automata [20] could be used to model dynamic systems, with the addition of some extra structure (special Boolean flags) for modeling dynamic aspects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44685-0_10">doi:10.1007/3-540-44685-0_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2hilqt4qivgidj27257vxn7adi">fatcat:2hilqt4qivgidj27257vxn7adi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812070433/http://groups.csail.mit.edu/tds/papers/Attie/MIT-CSAIL-TR-2013-015.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/b4/9e/b49e25086f1584e876c7ad08399418db0b23e793.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44685-0_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic input/output automata, a formal model for dynamic systems

Paul C. Attie, Nancy A. Lynch
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t5fzg7fyy5byfdcl2vrzbn43ty" style="color: black;">Proceedings of the twentieth annual ACM symposium on Principles of distributed computing - PODC &#39;01</a> </i> &nbsp;
We present dynamic I/O automata (DIOA), a compositional model of dynamic systems, based on I/O automata. In our model, automata can be created and destroyed dynamically, as computation proceeds.  ...  Our model is hierarchical: a dynamically changing system of interacting automata is itself modeled as a single automaton that is "one level higher."  ...  Static mathematical models like I/O automata [20] could be used to model dynamic systems, with the addition of some extra structure (special Boolean flags) for modeling dynamic aspects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/383962.384051">doi:10.1145/383962.384051</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/podc/AttieL01.html">dblp:conf/podc/AttieL01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hovglqnycneabjnaptgxyzwogi">fatcat:hovglqnycneabjnaptgxyzwogi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812070433/http://groups.csail.mit.edu/tds/papers/Attie/MIT-CSAIL-TR-2013-015.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/b4/9e/b49e25086f1584e876c7ad08399418db0b23e793.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/383962.384051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

V. CHANDRA, R. Kumar
<span title="2002-03-01">2002</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dajrrp6zlff3jeyjuidy6egkfi" style="color: black;">Mathematical and Computer Modelling of Dynamical Systems</a> </i> &nbsp;
Under the new modeling formalism the size of the system model is polynomial in the number of signals; whereas the number of states in the commonly used automata models is exponential in the number of signals  ...  We present automated techniques for deriving an automaton model from the model in the proposed formalism.  ...  The proposed formalism has been demonstrated to work for a class of discrete event systems comprised of boolean valued input/output signals, whose values determine the states of the system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1076/mcmd.8.1.49.8338">doi:10.1076/mcmd.8.1.49.8338</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yow3cokcj5guznct44d42lanwa">fatcat:yow3cokcj5guznct44d42lanwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417223425/http://home.eng.iastate.edu/~rkumar/PUBS/model2.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/e8/ad/e8ad2f2d42a7f9433c67da8b19cbd064c60648a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1076/mcmd.8.1.49.8338"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

EB-DEVS: A Formal Framework for Modeling and Simulation of Emergent Behavior in Dynamic Complex Systems [article]

Daniel J. Foguelman, Philipp Henning, Adelinde Uhrmacher, Rodrigo Castro
<span title="2020-10-13">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this work we introduce Emergent Behavior-DEVS (EB-DEVS) a Modeling and Simulation (M&S) formalism that permits reasoning about complex systems where emergent behavior is placed at the forefront of the  ...  EB-DEVS builds on the DEVS formalism, adding upward/downward communication channels to well-established capabilities for modular and hierarchical M&S of heterogeneous multi-formalism systems.  ...  DEVS adopted a direct communication strategy. For each pair of models we can define an input output port's bond that allows for direct message passing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.05042v2">arXiv:2010.05042v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j6wn2ti6cbffpk2euqyjarltwm">fatcat:j6wn2ti6cbffpk2euqyjarltwm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201023224353/https://arxiv.org/pdf/2010.05042v2.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/ae/1c/ae1c85c2ba74db8b5ef988c1bb6b1b9dcf46dddf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.05042v2" 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>

Interface Input/Output Automata [chapter]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We also present a method for solving systems of relativized behavioral inequalities as used in our setup and draw a formal correspondence between our work and interface automata.  ...  Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch's I/O automata, a popular formalism used in the development of distributed asynchronous  ...  We introduce three convenient mapping functions in, out and ext which from a state of the two automata F and S return respectively the set of input, output or external actions of the automata that this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_7">doi:10.1007/11813040_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k6cxf7oie5h7bg7ez3jgyvr75u">fatcat:k6cxf7oie5h7bg7ez3jgyvr75u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418013236/https://core.ac.uk/download/pdf/60349899.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/e9/ee/e9ee74d78da728f0814daed745c919c0e3a89c6e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11813040_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata

Changyan Zhou, Ratnesh Kumar
<span title="2010-12-16">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tm7jgktiybernbg6nbnrrjwrve" style="color: black;">Discrete event dynamic systems</a> </i> &nbsp;
We propose a recursive approach for translating a class of Simulink diagrams to input/output-extended finite automata (I/O-EFA).  ...  We develop a semantic translation approach for Simulink diagrams. Simulink is a graphical tool for representing and simulating dynamical systems.  ...  We showed that the translating approach is sound and complete: The input-output behavior of an I/O-EFA model, as defined in terms of a step-trajectory, preserves the input-output behavior of the corresponding  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10626-010-0096-1">doi:10.1007/s10626-010-0096-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sx7blteppzbf5ag5uxph4dujki">fatcat:sx7blteppzbf5ag5uxph4dujki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120130195004/http://home.eng.iastate.edu/~rkumar/PUBS/ss2efa1.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/b6/45/b645b6eb2cf6e398c93ee5ae3a015656514b43aa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10626-010-0096-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A fault modeling approach for Input/Output Automata

Y. Nke, J. Lunze
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
Input/Output automata are used to represent the nominal and faulty behavior of a plant for fault detection and identification.  ...  This paper presents a new approach for modeling a discrete-event systems under the presence of faults.  ...  The dynamics of the automaton is given by MODELING BY MEANS OF INPUT/OUTPUT AUTOMATA Nondeterministic I/O automata L : Z × W × Z × V → {0, 1} L(z , w, z, v) = 1, if (z , w, z, v)!  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20110828-6-it-1002.00624">doi:10.3182/20110828-6-it-1002.00624</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/artyjvjedzgwjb7yo2wjgzjz3q">fatcat:artyjvjedzgwjb7yo2wjgzjz3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830081538/http://folk.ntnu.no/skoge/prost/proceedings/ifac11-proceedings/data/html/papers/0624.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/53/48/5348c81ffacf95465a8ce9d87e61f2dc451ae66a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20110828-6-it-1002.00624"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An Interface Theory for Input/Output Automata

Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
<span title="2006-06-12">2006</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/433eg2tipzegfkgt5m5cmv46zq" style="color: black;">BRICS Report Series</a> </i> &nbsp;
Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch's Input/Output Automata, a popular formalism used in the development of distributed asynchronous  ...  We also present a method for solving systems of relativized behavioral inequalities as used in our setup and draw a formal correspondence between our work and interface automata.  ...  We introduce three convenient mapping functions in, out and ext which from a state of the two automata F and S return respectively the set of input, output or external actions of the automata that this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v13i11.21916">doi:10.7146/brics.v13i11.21916</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dpawam4af5eotbtkao7wbmcxwy">fatcat:dpawam4af5eotbtkao7wbmcxwy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722075436/http://vbn.aau.dk/files/5689162/BRICS-RS-06-11.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/2e/4a/2e4a83f550a39dc63a25e58d3ca4782c0b516482.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/brics.v13i11.21916"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modeling System Safety Requirements Using Input/Output Constraint Meta-automata

Zhe Chen, Gilles Motet
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vy333uutcjbnpkopy2xyqtvbmi" style="color: black;">2009 Fourth International Conference on Systems</a> </i> &nbsp;
This paper proposes a framework based on input/output constraint meta-automata, which restricts system behavior at the meta level.  ...  It explicitly separates the tasks of product engineers and safety engineers, and provides a top-down technique for modeling a system with safety constraints, and for automatically composing a safe system  ...  Modeling System Safety Constraints Using I/O Constraint Meta-Automata The theory of input/output automata [14] [15] extends classic automata theory [16] for modeling concurrent systems with different  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icons.2009.24">doi:10.1109/icons.2009.24</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icons/ChenM09.html">dblp:conf/icons/ChenM09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gm7pn6tdhvg3jk24oojwuvml7u">fatcat:gm7pn6tdhvg3jk24oojwuvml7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120220142149/http://www.lattis.univ-toulouse.fr/~motet/papers/2009_ICONS_CM.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/14/a2/14a2e1f0458f3ca5ade4c368343a9bba37d04172.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icons.2009.24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Input/Output Stochastic Automata with Urgency: Confluence and weak determinism [article]

Pedro R. D'Argenio, Raúl E. Monti
<span title="2018-08-17">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stochastic  ...  However, such variant is not sufficiently versatile for compositional modelling. In this article, we extend IOSA with urgent actions.  ...  Based on stochastic automata [12, 10, 11] and probabilistic I/O automata [27] , we introduced input/output stochastic automata (IOSA) [13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.02777v2">arXiv:1808.02777v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xgwtseowkncmvi7cn7kukytnqa">fatcat:xgwtseowkncmvi7cn7kukytnqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901032524/https://arxiv.org/pdf/1808.02777v2.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/43/a3/43a3424b03453b2ae2f05a1d9433de244f2a0704.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.02777v2" 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 Passive Online Technique for Learning Hybrid Automata from Input/Output Traces [article]

Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
<span title="2021-01-18">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we propose a new technique for synthesizing hybrid automaton from the input-output traces of a non-linear cyber-physical system.  ...  Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identification.  ...  The authors in [16] have proved that the problem of finding the smallest automata based on a given dataset is NP-complete, and later, it was demonstrated that this is an NP-hard problem [17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.07053v1">arXiv:2101.07053v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jawrk4wttjgqjmgm6aovpswkuq">fatcat:jawrk4wttjgqjmgm6aovpswkuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210127042419/https://arxiv.org/pdf/2101.07053v1.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/a8/cc/a8cc6b1c8a4222bfc30b751135d2b44fb3019159.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.07053v1" 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>

Testing Systems Specified as Partial Order Input/Output Automata [chapter]

Gregor v. Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We give a formal definition of this framework, and define several conformance relations for comparing system specifications expressed in this formalism.  ...  In this paper, we generalize this model to Partial Order Input/Output Automata (POIOA), in which each transition is associated with an almost arbitrary partially ordered set of inputs and outputs.  ...  This work has been supported in part by grants from the Natural Sciences and Engineering Research Council of Canada, as well as by the INRIA sabbatical support for the second author.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68524-1_13">doi:10.1007/978-3-540-68524-1_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/354minj7rjclhkjjphrueq5f24">fatcat:354minj7rjclhkjjphrueq5f24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302020048/http://pdfs.semanticscholar.org/9c07/0fedb3b616440039e7eebae69a714febf4bb.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/9c/07/9c070fedb3b616440039e7eebae69a714febf4bb.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-540-68524-1_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

Marta Capiluppi, Roberto Segala
<span title="2012-10-07">2012</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
The theory is illustrated through a simple example of agents systems.  ...  We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects or radio signals diffusion  ...  models for hybrid systems existing in literature.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.96.1">doi:10.4204/eptcs.96.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xdbpgqycvfevnj6b46qkxgbrbq">fatcat:xdbpgqycvfevnj6b46qkxgbrbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309001341/http://pdfs.semanticscholar.org/fb97/2056cd00aac8e300972a806db8d0ebc1f09f.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/fb/97/fb972056cd00aac8e300972a806db8d0ebc1f09f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.96.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A framework for mining hybrid automata from input/output traces

Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">2015 International Conference on Embedded Software (EMSOFT)</a> </i> &nbsp;
This paper proposes an approach for mining automata-based models from input/output execution traces of embedded control systems.  ...  Specifically this paper proposes a framework for analyzing multiple input/output traces by identifying steps like segmentation, clustering, generation of event traces, and automata inference.  ...  The authors would also like to thank Oleg Sokolsky and the anonymous reviewers for their valuable feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emsoft.2015.7318273">doi:10.1109/emsoft.2015.7318273</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/MedhatRBF15.html">dblp:conf/emsoft/MedhatRBF15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zmwrqkxvhjdvbg2vrxzyfpt474">fatcat:zmwrqkxvhjdvbg2vrxzyfpt474</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161107225230/https://uwaterloo.ca/embedded-software-group/sites/ca.embedded-software-group/files/uploads/files/emsoft-trace-mining.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/13/8a/138a563fbfcff048a36c75e66ae46b1cd8089e2d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emsoft.2015.7318273"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 4,988 results