( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.

, , , , , und . IEEE Trans. Autom. Control., 62 (10): 4917-4932 (2017)

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.

Valerio Sangiovanni

Alberto Fierro

Alberto Ricco

Alberto Moreira

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Highlights of VLSI Research at Berkeley., , und . FJCC, Seite 894-897. IEEE Computer Society, (1986)Tag machines., , , und . EMSOFT, Seite 255-263. ACM, (2005)Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case., und . IEEE Trans. Computers, 30 (11): 889-898 (1981)Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design., , , , und . DAC, Seite 227-232. ACM Press, (1996)Verification of Electronic Systems., , und . DAC, Seite 106-111. ACM Press, (1996)Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool., , , und . DAC, Seite 254-260. ACM Press, (1995)The ultimate IoT application: A cyber-physical system for ambient assisted living., , und . ISCAS, Seite 2042-2045. IEEE, (2016)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 7-12. Elsevier, (2018)Solving the State Assignment Problem for Signal Transition Graphs., , , und . DAC, Seite 568-572. IEEE Computer Society Press, (1992)An Improved Synthesis Algorithm for Multiplexor-Based PGA's., , und . DAC, Seite 380-386. IEEE Computer Society Press, (1992)