( en | de | ru )

 

Disambiguierung von "Villa, Tiziano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hybrid controller synthesis for idle speed management of an automotive engine.

, , , , , und . ACC, Seite 1181-1185. IEEE, (2000)

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.

Tiziano Zito

Tiziano Barberi

Tiziano Parriani

Tiziano Panico

Valentina Villa

 

Weitere Publikationen von Autoren mit dem selben Namen

Games, Automata, Logics, and Formal Verification (GandALF 2013)., , und . Inf. Comput., (2015)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne., , , , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 313-319. Springer, (2017)Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets., , und . DSD, Seite 165-173. IEEE, (2022)Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne., , und . OVERLAY@AI*IA, Volume 2509 von CEUR Workshop Proceedings, Seite 29-34. CEUR-WS.org, (2019)Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations., , , , und . DATE, Seite 11154-11155. IEEE Computer Society, (2003)The impact of EFSM composition on functional ATPG., , , , und . DDECS, Seite 44-49. IEEE Computer Society, (2009)Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis., , und . IEEE Trans. Computers, 71 (1): 121-133 (2022)Synthesis of Multilevel Boolean Networks., , , , und . Boolean Models and Methods, Cambridge University Press, (2010)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , und . RP, Volume 7550 von Lecture Notes in Computer Science, Seite 79-91. Springer, (2012)Model matching for finite-state machines., , und . IEEE Trans. Automat. Contr., 46 (11): 1726-1743 (2001)