Výsledky vyhledávání - "Roberto Segala"

Akademický článek

World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 124, Iss Proc. HAS 2013, Pp 58-72 (2013)

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 and detection. The new object, called Worl

Externí odkaz: https://doaj.org/article/5bf28afa2f85401c859c173f236f69e0

Zobrazit plný text záznamu

Akademický článek

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

Autor: Marta Capiluppi, Roberto Segala

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 1-14 (2012)

Externí odkaz: https://doaj.org/article/0b5b02374a7b4e6da5353ba1da115413

Zobrazit plný text záznamu

A computable and compositional semantics for hybrid automata

Autor: Tiziano Villa, Luca Geretti, Roberto Segala, Pieter Collins, Davide Bresolin, Sanja Živanović Gonzalez

Publikováno v: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 1-11
STARTPAGE=1;ENDPAGE=11;TITLE=HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
HSCC

Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be characterized faithfully using either only discrete or only continuous models. A good framework for hybrid systems should support their compositional descripti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c29c63eaa9c04d69fdefcc586c90985
http://hdl.handle.net/11562/1011864

Zobrazit plný text záznamu

Elektronická kniha

The Theory of Timed I/O Automata, Second Edition

Autor: Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performan

Zobrazit plný text záznamu

Elektronická kniha

The Theory of Timed I/O Automata

Autor: Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performan

Zobrazit plný text záznamu

Design, Ethics and Sustainability

Autor: Rebollar, Paola Beatriz May, Medeiros, Pery Roberto Segala de, Carmo, Victor Barbosa do

Publikováno v: Repositório Institucional da UFSC
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC

This article seeks to analyze the relationship between sustainability, ethics and design in improving the quality of life of the population. The concept of sustainability is broad and presents different dimensions. Among these, the social dimension i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::0d2c3de7c1084c1e3fde8a781e8071e8
https://repositorio.ufsc.br/handle/123456789/240808

Zobrazit plný text záznamu

Sistematização das informações oriundas dos usuários de habitação social

Autor: Medeiros, Pery Roberto Segala

Publikováno v: Repositório Institucional da UFSC
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Arquitetura e Urbanismo, Florianópolis, 2016. Quando se trata da habitação social no Brasil, um tema abordado é a qualidade dos espaç

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::4c93b6e33b3a4156978b47b891c419f4
https://repositorio.ufsc.br/handle/123456789/194251

Zobrazit plný text záznamu

Distributed collision avoidance for autonomous vehicles: world automata representation

Autor: Nicolae Marinica, Marta Capiluppi, René Boel, Jonathan Rogge, Roberto Segala

Publikováno v: ADHS

The automatic control of interacting autonomous vehicles (AVs) is one of the problems that engineers are currently trying to solve. The present paper deals with the design of local control laws governing the movement and collision avoidance of such g

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3cd6dd8c57347a0d7d69c890f53f13a5
https://doi.org/10.3182/20120606-3-nl-3011.00088

Zobrazit plný text záznamu

Observing Branching Structure through Probabilistic Contexts

Autor: Nancy Lynch, Roberto Segala, Frits Vaandrager

Publikováno v: Siam Journal on Computing, 37, 977-1013
Siam Journal on Computing, 37, 4, pp. 977-1013

Contains fulltext : 35287.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ef5cad87a51e9dcadd84a9d636a0717
https://doi.org/10.1137/s0097539704446487

Zobrazit plný text záznamu

Dynamic load balancing with group communication

Autor: Roberto Segala, Alexander A. Shvartsman, Shlomi Dolev

Publikováno v: Theoretical Computer Science. 369:348-360

This work considers the problem of efficiently performing a set of tasks using a network of processors in the setting where the network is subject to dynamic reconfigurations, including partitions and merges. A key challenge for this setting is the i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b277712049f3f119fa91338088e2f67
https://doi.org/10.1016/j.tcs.2006.09.020

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání