Pubblicazioni

Autori:

Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano

Titolo:

Recent Results on Computable and Compositional Semantics for Hybrid Systems

Anno:

2024

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Formato:

Elettronico

Nome rivista:

CEUR WORKSHOP PROCEEDINGS

ISSN Rivista:

1613-0073

N° Volume:

3904

Titolo del Convegno:

OVERLAY

Luogo:

Bolzano

Periodo:

Novembre 2024

Editore:

CEUR-WS.org

Casa editrice:

CEUR-WS.org

Intervallo pagine:

23-29

Parole chiave:

Hybrid systems, computational analysis

Breve descrizione dei contenuti:

Hybrid systems combine discrete and continuous behaviors and are prevalent in applications such as automotive, robotics, and avionics, where precise interaction between control logic and dynamic environments is critical. This paper summarizes the results of [1], where a computable and compositional semantics for hybrid systems was first proposed. The formalism supports the composition of smaller subsystems and enables algorithmic analysis using computable functions. The approach addresses the challenge of undecidability in hybrid system reachability by employing approximate decision procedures. A key feature is the use of multifunctions to handle nondeterministic systems and ensure computability is preserved during system composition and the introduction of atomic interfaces to avoid circular dependencies in the composition. Several classes of computable multifunctions are identified to guarantee computational feasibility. This framework provides a scalable, compositional approach to the modeling and verification of complex hybrid systems.

Pagina Web:

https://ceur-ws.org/Vol-3904/paper3.pdf

Id prodotto:

144205

Handle IRIS:

11562/1153607

ultima modifica:

5 febbraio 2025

Citazione bibliografica:

Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano, Recent Results on Computable and Compositional Semantics for Hybrid Systems in «CEUR WORKSHOP PROCEEDINGS» vol. 3904 CEUR-WS.org  in Short Paper Proceedings of the 6th International Workshop on ArtificialIntelligence and Formal Verification, Logic, Automata, and Synthesis,{OVERLAY} 2024, Bolzano, Italy, November 28-29, 2024 , CEUR-WS.org , Atti di "OVERLAY" , Bolzano , Novembre 2024 , 2024 , pp. 23-29

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo