Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Victor Braberman"'
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:
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
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
Autor:
Nicolas D'Ippolito, Victor Braberman, Daniel Alfredo Ciolek, Sebastian Sardina, Sebastian Uchitel
We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient translations of the supervisory co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5b6e83df64cbbebef536570d6a1d3d0
http://hdl.handle.net/10044/1/74312
http://hdl.handle.net/10044/1/74312
Publikováno v:
17th Int. Conference on Business Process Management (BPM 2019)
Lecture Notes in Computer Science ISBN: 9783030266189
BPM
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Business Process Management
Business Process Management-17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Lecture Notes in Computer Science ISBN: 9783030266189
BPM
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Business Process Management
Business Process Management-17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Organisations require that their business processes reflect their evolving practices by maintaining compliance with their policies, strategies and regulations. Designing workflows which satisfy these requirements is complex and error-prone. Business
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba31f003fde2418beefe890b91082c3e
http://hdl.handle.net/10044/1/70972
http://hdl.handle.net/10044/1/70972
Publikováno v:
ICSE (NIER)
We propose an approach for rapid detection of performance regressions using a simulator built from the original program by dynamic slicing and a certificate built using static analysis that generalizes its correctness. We discuss two case-studies tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7601334ccdcccc1fb28de5a7b7066024
https://doi.org/10.1109/icse-nier.2019.00029
https://doi.org/10.1109/icse-nier.2019.00029
Publikováno v:
IEEE Transactions on Software Engineering. 42:843-865
System specifications have long been expressed through automata-based languages, which allow for compositional construction of complex models and enable automated verification techniques such as model checking. Automata-based verification has been ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e70f3f6de88a939416f962240cc287a
https://doi.org/10.1109/tse.2016.2527000
https://doi.org/10.1109/tse.2016.2527000
Autor:
Fernando Asteasuain, Victor Braberman
Publikováno v:
Requirements Engineering. 22:239-274
Behavior needs to be understood from early stages of software development. In this context, incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. A tra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c210f7771430af3801654733b3334850
https://doi.org/10.1007/s00766-015-0242-2
https://doi.org/10.1007/s00766-015-0242-2
Publikováno v:
Software Testing, Verification and Reliability. 26:211-244
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b335f3a1ead1a1b099378de9ae4cc77
https://doi.org/10.1002/stvr.1593
https://doi.org/10.1002/stvr.1593