( en | de | ru )

 

Disambiguierung von "Salvo, Ivano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.

, , , und . ICTAC, Volume 7521 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pietro Salvo

Ivano Mombelli

Ivano Petrocchi

Ivano Giuntoni

Svetlana Ivanova

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , und . CoRR, (2021)Confluence and expressiveness in reduction systems.. Sapienza University of Rome, Italy, (2004)Graph Theoretic Detection of Inefficiencies in Network Models., , und . ICTCS, Volume 2243 von CEUR Workshop Proceedings, Seite 87-91. CEUR-WS.org, (2018)Model Checking Nash Equilibria in MAD Distributed Systems., , , , , , und . FMCAD, Seite 1-8. IEEE, (2008)Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems., , , und . ICTAC, Volume 7521 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2012)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , und . DSD, Seite 478-485. IEEE Computer Society, (2015)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , und . IWBBIO (2), Volume 9044 von Lecture Notes in Computer Science, Seite 542-554. Springer, (2015)Automatic control software synthesis for quantized discrete time hybrid systems., , , , und . CDC, Seite 6120-6125. IEEE, (2012)Model Checking Coalition Nash Equilibria in MAD Distributed Systems., , , , , , und . SSS, Volume 5873 von Lecture Notes in Computer Science, Seite 531-546. Springer, (2009)Conflict vs causality in event structures., und . J. Log. Algebraic Methods Program., (2021)