Publications

Authors:

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

Title:

Recent Results on Computable and Compositional Semantics for Hybrid Systems

Year:

2024

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

Elettronico

Name of journal:

CEUR WORKSHOP PROCEEDINGS

ISSN of journal:

1613-0073

N° Volume:

3904

Congresso:

OVERLAY

Place:

Bolzano

Period:

Novembre 2024

:

CEUR-WS.org

Publisher:

CEUR-WS.org

Page numbers:

23-29

Keyword:

Hybrid systems, computational analysis

Short description of contents:

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.

Web page:

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

Product ID:

144205

Handle IRIS:

11562/1153607

Last Modified:

February 5, 2025

Bibliographic citation:

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 , Proceedings of "OVERLAY" , Bolzano , Novembre 2024 , 2024 , pp. 23-29

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