Zobrazeno 1 - 10
of 2 898
pro vyhledávání: '"refinement relation"'
Autor:
Ren, Wei, Dimarogonas, Dimos V.
Publikováno v:
Automatica, 2020
This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we p
Externí odkaz:
http://arxiv.org/abs/2011.12824
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
MEMOCODE
This paper presents a method for establishing a refinement relation between a binary and a high-level abstract model. The abstract model is based on standard notions of control flow, such as if-then-else statements, while loops and variable scoping.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::233138c5422b40e7625de4e0a5a3a40f
https://doi.org/10.1145/3359986.3361215
https://doi.org/10.1145/3359986.3361215
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal of Grid and Distributed Computing. 8:179-188
With the continuous increase in the size and complexity of a real-time computer system, the use of formal verification methods in software development is also on the rise. The traditional formal verification method is not fully applicable to the deve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c229f15ac7f96fa30e4372c200a7089f
https://doi.org/10.14257/ijgdc.2015.8.1.17
https://doi.org/10.14257/ijgdc.2015.8.1.17
Publikováno v:
AI*IA 2017: Advances in Artificial Intelligence
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199
AI*IA 2017 Advances in Artificial Intelligence ISBN: 9783319701684
AI*IA
HAL
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017)
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199
AI*IA 2017 Advances in Artificial Intelligence ISBN: 9783319701684
AI*IA
HAL
International audience; Bratman’s Belief-Desire-Intention (BDI) theory is seminal in the literature on BDI agents. His BDI theory is taken into account to extend Shoham’s database perspective on beliefs and intentions. In the extended framework,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::712d0e65e46869c8b09cda364eef5045
https://oatao.univ-toulouse.fr/22221/
https://oatao.univ-toulouse.fr/22221/
Software Product Lines (SPLs) are families of systems that share a high number of common assets while differing in others. In component-based systems, components themselves can be SPLs, i.e., each component can be seen as a family of variations, with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::130defd34a07263d7dc27dc0742e0533
https://hdl.handle.net/1822/69307
https://hdl.handle.net/1822/69307
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319708478
SBMF
SBMF
Software Product Lines (SPLs) are families of systems that share a high number of common assets while differing in others. In component-based systems, components themselves can be SPLs, i.e., each component can be seen as a family of variations, with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5a89b4402bf5f661aef77e27a1fe7cd
https://doi.org/10.1007/978-3-319-70848-5_11
https://doi.org/10.1007/978-3-319-70848-5_11
Publikováno v:
Allerton
Networked control systems (NCS) have attracted many researchers' attention in the past few years due to their flexibility and wide range of industrial applications. In this work, we address the controller synthesis problem for NCS with sophisticated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d54b844ba5e2fea0e97ce53039b9e39a
https://doi.org/10.1109/allerton.2016.7852228
https://doi.org/10.1109/allerton.2016.7852228
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.