Zobrazeno 1 - 10
of 134
pro vyhledávání: '"Sebastian Uchitel"'
Autor:
Leen Lambers, Sebastián Uchitel
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences
Autor:
Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel
We study directed control of discrete event system expressed as the parallel composition of interacting automata. Solutions that first compose the automata and then compute a controller may result in an exponential blow up. We present a technique tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bad2f13c289fa4831680c1b8f840e9b9
http://hdl.handle.net/10044/1/100254
http://hdl.handle.net/10044/1/100254
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 30:1-36
A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This article studies search-based test generation techniques that aim to exploit a particula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60f2d2635c662e111af35d8ef70bfa06
https://doi.org/10.1145/3415153
https://doi.org/10.1145/3415153
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f40d6291da748efd1a836f385273e024
https://doi.org/10.1109/ase51524.2021.9678919
https://doi.org/10.1109/ase51524.2021.9678919
Autor:
Mariano Zukerfeld, Andrea Díaz, Nicolás Passerini, Juan Lagostena, Pablo Vannini, Fernando Schapachnik, Julián Dunayevich, Sebastian Uchitel, Leandro Monk
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Universidad Nacional de La Plata
instacron:UNLP
Recientemente la Secretaría de Innovación Pública ha convocado a un procedimiento de consulta para la concreción de una “Nube Híbrida de Gobierno”. El objetivo de la Consulta es recibir aportes, ideas, experiencias y recomendaciones para la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9b4a5089d1a4b8c77257453a829af81
http://sedici.unlp.edu.ar/handle/10915/122062
http://sedici.unlp.edu.ar/handle/10915/122062
Publikováno v:
ICRA
Temporal task planning guarantees a robot will succeed in its task as long as certain explicit and implicit assumptions about the robot’s operating environment, sensors, and capabilities hold. A robot executing a plan can silently fail to fulfill t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b69a1f3b901b2b21fa6fa189d9522139
https://doi.org/10.1109/icra48506.2021.9561671
https://doi.org/10.1109/icra48506.2021.9561671
Publikováno v:
ACC
2021 American Control Conference (ACC)
2021 American Control Conference (ACC)
A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.Assuming that the controller loses all races is sometimes unrealistic.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13f058548a867d46d6e7e08785fd79d5
https://doi.org/10.23919/acc50511.2021.9482704
https://doi.org/10.23919/acc50511.2021.9482704
Autor:
Sebastian Zudaire, Martin Garrett, Ezequiel Pecker-Marcosig, Rodrigo Castro, Sebastian Uchitel
Publikováno v:
Winter Simulation Conference
WSC
WSC
Recent robotic research has led to different architectural approaches that support enactment of automatically synthesized discrete event controllers from user specifications over low-level continuous variable controllers. Simulation of these hybrid c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::722ab8eb37308c6a9544e282b4fa5903
http://hdl.handle.net/10044/1/97058
http://hdl.handle.net/10044/1/97058
Publikováno v:
Information Systems. 104:101850
In order to manage evolving organisational practice and maintain compliance with changes in policies and regulations, businesses must be capable of dynamically reconfiguring their business processes. However, such dynamic reconfiguration is a complex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1638f4d033f7bedf0acb7e9f52715535
https://doi.org/10.1016/j.is.2021.101850
https://doi.org/10.1016/j.is.2021.101850
Publikováno v:
2019 IEEE 58th Conference on Decision and Control (CDC)
CDC
CDC
Qualitative controller synthesis techniques produce controllers that guarantee to achieve a given goal in the presence of an adversarial environment. However, qualitative synthesis only produces one controller out of many possible solutions and typic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e717df74b863dcae614ea6a66ef9f5a
http://hdl.handle.net/10044/1/78132
http://hdl.handle.net/10044/1/78132