Zobrazeno 1 - 10
of 1 515
pro vyhledávání: '"Uchitel, A."'
In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and control dependencies that arise in an execution. During a single executi
Externí odkaz:
http://arxiv.org/abs/2211.04683
Dynamic slicing techniques compute program dependencies to find all statements that affect the value of a variable at a program point for a specific execution. Despite their many potential uses, applicability is limited by the fact that they typicall
Externí odkaz:
http://arxiv.org/abs/2211.04560
Controller synthesis is in essence a case of model-based planning for non-deterministic environments in which plans (actually ''strategies'') are meant to preserve system goals indefinitely. In the case of supervisory control environments are specifi
Externí odkaz:
http://arxiv.org/abs/2210.05393
Publikováno v:
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 2022
The design of systems that can change their behaviour to account for scenarios that were not foreseen at design time remains an open challenge. In this paper we propose an approach for adaptation of mobile robot missions that is not constrained to a
Externí odkaz:
http://arxiv.org/abs/2107.10173
Autor:
Castellanos, Libia Catalina Salinas, Gatto, Rodolfo Gabriel, Malnati, Georgina Oriana Mingolo, Montes, Mayra Micaela, Uchitel, Osvaldo Daniel, Weissmann, Carina
Publikováno v:
In BBA - Molecular Basis of Disease February 2024 1870(2)
Autor:
Thamby, Julie, Prange, Lyndsey, Boggs, April, Subei, M. Omar, Myers, Cory, Uchitel, Julie, ElMallah, Mai, Bartlett-Lee, Brittnie, Riviello, James J., Mikati, Mohamad A.
Publikováno v:
In European Journal of Paediatric Neurology January 2024 48:101-108
Autor:
Alrahman, Yehia Abd, Braberman, Victor, D'Ippolito, Nicolás, Piterman, Nir, Uchitel, Sebastián
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:
http://arxiv.org/abs/2009.05554
Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particularly suited for tasks specifications with universally quantified locat
Externí odkaz:
http://arxiv.org/abs/2001.07678
Publikováno v:
In Robotics and Autonomous Systems June 2023 164
Autor:
Wesevich, Austin, Jiao, Megan G., Santanam, Taruni S., Chung, Richard J., Uchitel, Julie, Zhang, Qintian, Brindis, Claire D., Ford, Carol A., Counts, Nathaniel Z., Wong, Charlene A.
Publikováno v:
In Academic Pediatrics May-June 2023 23(4):782-789