×

Sangiovanni-Vincentelli, Alberto L.

Author ID: sangiovanni-vincentelli.alberto-l Recent zbMATH articles by "Sangiovanni-Vincentelli, Alberto L."
Published as: Sangiovanni-Vincentelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Sangiovanni-Vincentelli, A.; Sangiovanni-Vincentelli, A. L.; Vincentelli, Alberto L. Sangiovanni; Vincentelli, Alberto Sangiovanni; Sangiovanni- Vincentelli, Alberto L.; Sangiovanni Vincentelli, Alberto; Vincentelli, A. L. Sangiovanni; Sangiovanni Vincentelli, A.; Vincentelli, A. Sangiovanni
Further Spellings: Sangiovanni-Vincentelli, Alberto Luigi
Homepage: https://www2.eecs.berkeley.edu/Faculty/Homepages/sangiovanni-vicentelli.html
External Links: MGP · ORCID
all top 5

Co-Authors

6 single-authored
15 Balluchi, Andrea
12 Di Benedetto, Maria Domenica
12 Villa, Tiziano
10 Brayton, Robert K.
9 Benvenuti, Luca
8 Carloni, Luca P.
8 Passerone, Roberto
8 Seshia, Sanjit Arunkumar
5 Pinello, Claudio
5 Polak, Elijah (Lucien)
4 Balarin, Felice
4 Bicchi, Antonio
4 Di Gennaro, Stefano
4 Lavagno, Luciano
4 Nuzzo, Pierluigi
4 Pinto, Alessandro
4 Visvanathan, V.
3 Benveniste, Albert
3 Broucke, Mireille E.
3 Ferrari, Alberto
3 Ghosh, Shromona
3 Kam, Timothy
3 Mazzi, Emanuele
3 Passerone, Claudio
3 Sastry, S. Shankar
3 Shoukry, Yasser
3 Tabuada, Paulo
2 Aziz, Adnan
2 Burch, Jerry R.
2 Caspi, Paul
2 Charbon, Edoardo
2 Jurecska, Attila
2 Mayne, David Q.
2 Morari, Manfred
2 Nye, William T.
2 Palopoli, Luigi
2 Puggelli, Alberto
2 Romeo, Fabio
2 Saeks, Richard E.
2 Sentovich, Ellen
2 Serra, Gabriele
2 Sgroi, Marco
2 Singhal, Vigyan
2 Somalvico, Marco
2 Tits, André Leon
2 Watanabe, Yosinori
2 Wong-Toi, Howard
2 Yevtushenko, Nina
1 Albertoni, Leonardo
1 Alioto, Massimo
1 Ames, Aaron D.
1 Baleani, Massimo
1 Bansal, Somil
1 Bezzo, Nicola
1 Bhatti, M. Asghar
1 Bickart, Theodore A.
1 Caillaud, Benoît
1 Casavola, Alessandro
1 Chen, Li-Kuan
1 Chiodo, Massimiliano
1 Choudhury, Umakanta
1 Chua, Leon Ong
1 Conti, Massimo
1 Cuatto, Tullio
1 Damm, Werner
1 D’Apice, Ciro
1 De Micheli, Giovanni
1 Demir, Alper
1 Desel, Jörg
1 Di Natale, Marco
1 Donzé, Alexandre
1 Dreossi, Tommaso
1 Elghaoui, Laurent
1 Engell, Sebastian
1 Essebo, Tommy
1 Felt, Eric
1 Frascolla, Valerio
1 Fremont, Daniel J.
1 Gaeta, Matteo
1 Gambelli, Claudio
1 Geyer, Tobias
1 Gharpurey, Ranjit
1 Giusto, Paolo
1 Gößler, Gregor
1 Gosti, Wilsin
1 Goto, Satoshi
1 Gregoretti, Francesco
1 Guardabassi, Guido O.
1 Hachtel, Gary D.
1 Henzinger, Thomas A.
1 Horowitz, Benjamin
1 Hsieh, Harry
1 Hsieh, Hsueh Y.
1 Incer, Inigo
1 Jin, Baihong
1 Johansson, Karl Henrik
1 Kaye, R. John
1 Kim, Edward D.
1 Kondratyev, Alex
1 Koo, T. John
...and 59 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

76 Publications have been cited 499 times in 465 Documents Cited by Year
Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067
Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
53
1986
Logic minimization algorithms for VLSI synthesis. Zbl 0565.94020
Brayton, Robert K.; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni- Vincentelli, Alberto L.
49
1984
Design of observers for hybrid systems. Zbl 1050.93040
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.
34
2002
Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532
Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo
31
2017
Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009
Kundert, Kenneth S.; White, Jacob K.; Sangiovanni-Vincentelli, Alberto
22
1990
A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain. Zbl 0421.94020
Rabbat, N. B. Guy; Sangiovanni-Vincentelli, Alberto L.; Hsieh, Hsueh Y.
22
1979
Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem. Zbl 0425.90084
Polak, Elijah; Sangiovanni-Vincentelli, Alberto
16
1979
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
15
1998
A theoretical framework for simulated annealing. Zbl 0717.90061
Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
15
1991
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
15
2012
Hybrid control in automotive applications: the cut-off control. Zbl 1049.93543
Balluchi, A.; Di Benedetto, M. D.; Pinello, C.; Rossi, C.; Sangiovanni-Vincentelli, A.
13
1999
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202
Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.
13
2013
Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Zbl 1107.68385
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
11
2006
The design of dynamical observers for hybrid systems: theory and application to an automotive control problem. Zbl 1284.93155
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto
11
2013
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
10
2001
Computer-aided design via optimization: A review. Zbl 0478.93021
Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A.
8
1982
A new shortest path updating algorithm. Zbl 0392.94022
Goto, S.; Sangiovanni-Vincentelli, A.
8
1978
Synthesis of finite state machines: functional optimization. Zbl 0876.94056
Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
7
1997
An efficient heuristic cluster algorithm for tearing large-scale networks. Zbl 0368.94028
Sangiovanni-Vincentelli, Alberto; Chen, Li-Kuan; Chua, Leon O.
7
1977
Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28–30, 2001. Proceedings. Zbl 0990.00076
7
2002
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322
Yevtushenko, Nina; Villa, Tiziano; Brayton, Robert K.; Petrenko, Alex; Sangiovanni-Vincentelli, Alberto L.
6
2008
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
6
2016
Maximizing the stability radius of a set of systems under real-time scheduling constraints. Zbl 1365.90144
Palopoli, Luigi; Pinello, Claudio; Bicchi, Antonio; Sangiovanni-Vincentelli, Alberto
6
2005
Hybrid modelling and control of the common rail injection system. Zbl 1129.93306
Balluchi, A.; Bicchi, A.; Mazzi, E.; Vincentelli, A. Sangiovanni; Serra, G.
5
2007
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
5
2017
The unknown component problem. Theory and applications. Zbl 1248.68023
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
4
2012
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
Controller synthesis on non-uniform and uncertain discrete-time domains. Zbl 1078.93523
Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L.
4
2005
Hardware-software co-design of embedded systems. The POLIS approach. Zbl 0878.68133
Balarin, Felice; Chiodo, Massimiliano; Giusto, Paolo; Hsieh, Harry; Jurecska, Attila; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sentovich, Ellen; Suzuki, Kei; Tabbara, Bassam
4
1997
A general approach to learning in problem-solving. Zbl 0376.68062
Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M.
4
1976
Hybrid control of networked embedded systems. Zbl 1293.93407
Balluchi, A.; Benvenuti, L.; Engell, S.; Geyer, T.; Johansson, K. H.; Lamnabhi-Lagarrigue, F.; Lygeros, J.; Morari, M.; Papafotiou, G.; Sangiovanni-Vincentelli, A. L.; Santucci, F.; Stursberg, O.
4
2005
Equivalences for fair Kripke structures. Zbl 1418.68125
Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
4
1994
Synthesis for idle speed control of an automotive engine. Zbl 1135.93327
Balluchi, Andrea; Natale, Federico Di; Sangiovanni-Vincentelli, Alberto; van Schuppen, Jan H.
3
2004
Relaxation-based electrical simulation. Zbl 0526.65008
Newton, Arthur Richard; Sangiovanni-Vincentelli, Alberto L.
3
1983
A graph theoretical interpretation of nonsymmetric permutation on sparse matrices. Zbl 0359.94049
Sangiovanni-Vincentelli, A. L.
3
1977
Noise analysis of radio frequency circuits. Zbl 1055.94032
Mehrotra, Amit; Sangiovanni-Vincentelli, Alberto
3
2004
Latency insensitive protocols. Zbl 1046.68585
Carloni, Luca P.; McMillan, Kenneth L.; Sangiovanni-Vincentelli, Alberto L.
3
1999
State-space approach in problem-solving optimization. Zbl 0273.68057
Sangiovanni Vincentelli, Alberto; Somalvico, Marco
3
1973
Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401
Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto
3
2008
Enhanced methods for feasible directions for engineering design problems. Zbl 0581.90077
Tits, A. L.; Nye, W. T.; Sangiovanni-Vincentelli, A. L.
3
1986
Synthesis of finite state machines: logic optimization. Zbl 0876.94057
Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
3
1997
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154
Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire
3
2019
Theory of optimal control using bisimulations. Zbl 0963.93059
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
2
2000
An iterative approach to verification of real-time systems. Zbl 0829.68050
Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.
2
1995
Logic synthesis for field programmable gate arrays. Zbl 0839.68044
Murgai, Rajeev; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
2
1995
FSM encoding for BDD representations. Zbl 1153.68553
Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L.
2
2007
Hybrid control of force transients for multi-point injection engines. Zbl 1123.93312
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto L.
2
2001
Using multiple levels of abstractions in embedded software design. Zbl 1050.68521
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
2
2001
Modeling and designing heterogeneous systems. Zbl 1029.68503
Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori
2
2002
Hybrid modelling and control of the common rail injection system. Zbl 1178.93101
Balluchi, Andrea; Bicchi, Antonio; Mazzi, Emanuele; Vincentelli, Alberto L. Sangiovanni; Serra, Gabriele
1
2006
Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems. Zbl 1112.68395
Ames, Aaron D.; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2006
Hybrid systems in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L.
1
2006
Refinement preserving approximations for the design and verification of heterogeneous systems. Zbl 1118.68498
Passerone, Roberto; Burch, Jerry R.; Sangiovanni-Vincentelli, Alberto L.
1
2007
Characterization of integration algorithms for the timing analysis of MOS VLSI circuits. Zbl 0492.65046
De Micheli, Giovanni; Sangiovanni-Vincentelli, Alberto
1
1982
Theoretical aspects of the optimal design centering, tolerancing and tuning problem. Zbl 0501.49015
Polak, E.; Sangiovanni-Vincentelli, A.
1
1979
Synthesis of multilevel Boolean networks. Zbl 1209.94068
Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
2010
Efficient solution of optimal control problems using hybrid systems. Zbl 1098.49027
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
1
2005
Formal models for communication-based design. Zbl 0999.68527
Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Lavagno, Luciano
1
2000
A two levels algorithm for tearing. Zbl 0344.65027
Guardabassi, Guido; Sangiovanni-Vincentelli, Alberto
1
1976
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
Compositional modeling in Metropolis. Zbl 1027.68810
Gössler, Gregor; Sangiovanni-Vincentelli, Alberto
1
2002
Synthesis of robust control systems under resource constraints. Zbl 1081.93509
Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio
1
2002
A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524
Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L.
1
2006
Embedded system design and hybrid systems. Zbl 0875.93005
Sangiovanni-Vincentelli, A.
1
1997
Bipartite graphs and an optimal bordered triangular form of a matrix. Zbl 0416.68040
Sangiovanni-Vincentelli, Alberto; Bickart, Theodore A.
1
1979
Computer aided design via optimization. Zbl 0464.93026
Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A.
1
1980
Diagnosability of nonlinear circuits and systems. II: Dynamical systems. Zbl 0465.94050
Saeks, Richard; Sangiovanni-Vincentelli, Alberto; Visvanathan, V.
1
1981
Individual cylinder characteristic estimation for a spark injection engine. Zbl 1026.93005
Benvenuti, L.; Di Benedetto, M. D.; Di Gennaro, S.; Sangiovanni-Vincentelli, A.
1
2003
Languages and tools for hybrid systems design. Zbl 1143.68346
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
1
2006
Contract-based design for computation and verification of a closed-loop hybrid system. Zbl 1144.93313
Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni
1
2008
Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518
Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred
1
2002
Optimal control using bisimulations: Implementation. Zbl 0995.49021
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
1
2002
Formula-dependent equivalence for compositional CTL model checking. Zbl 1019.68064
Aziz, Adnan; Shiple, Thomas; Singhal, Vigyan; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
1
2002
Idle speed control of port-injection engines via the polynomial equation approach. Zbl 1266.93050
Albertoni, Leonardo; Balluchi, Andrea; Casavola, Alessandro; Gambelli, Claudio; Mosca, Edoardo; Vincentelli, Alberto L. Sangiovanni
1
2007
Implementing synchronous models on loosely time triggered architectures. Zbl 1390.68050
Tripakis, Stavros; Pinello, Claudio; Benveniste, Albert; Sangiovanni-Vincentelli, Alberto; Caspi, Paul; Di Natale, Marco
1
2008
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154
Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire
3
2019
Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532
Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo
31
2017
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
5
2017
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
6
2016
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202
Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.
13
2013
The design of dynamical observers for hybrid systems: theory and application to an automotive control problem. Zbl 1284.93155
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto
11
2013
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
15
2012
The unknown component problem. Theory and applications. Zbl 1248.68023
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
4
2012
Synthesis of multilevel Boolean networks. Zbl 1209.94068
Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
2010
Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322
Yevtushenko, Nina; Villa, Tiziano; Brayton, Robert K.; Petrenko, Alex; Sangiovanni-Vincentelli, Alberto L.
6
2008
Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401
Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto
3
2008
Contract-based design for computation and verification of a closed-loop hybrid system. Zbl 1144.93313
Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni
1
2008
Implementing synchronous models on loosely time triggered architectures. Zbl 1390.68050
Tripakis, Stavros; Pinello, Claudio; Benveniste, Albert; Sangiovanni-Vincentelli, Alberto; Caspi, Paul; Di Natale, Marco
1
2008
Hybrid modelling and control of the common rail injection system. Zbl 1129.93306
Balluchi, A.; Bicchi, A.; Mazzi, E.; Vincentelli, A. Sangiovanni; Serra, G.
5
2007
FSM encoding for BDD representations. Zbl 1153.68553
Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L.
2
2007
Refinement preserving approximations for the design and verification of heterogeneous systems. Zbl 1118.68498
Passerone, Roberto; Burch, Jerry R.; Sangiovanni-Vincentelli, Alberto L.
1
2007
Idle speed control of port-injection engines via the polynomial equation approach. Zbl 1266.93050
Albertoni, Leonardo; Balluchi, Andrea; Casavola, Alessandro; Gambelli, Claudio; Mosca, Edoardo; Vincentelli, Alberto L. Sangiovanni
1
2007
Languages and tools for hybrid systems design. Print version of Foundations and Trends in Electronic Design Automation Vol. 1, No. 1-2 (2006). Zbl 1107.68385
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
11
2006
Hybrid modelling and control of the common rail injection system. Zbl 1178.93101
Balluchi, Andrea; Bicchi, Antonio; Mazzi, Emanuele; Vincentelli, Alberto L. Sangiovanni; Serra, Gabriele
1
2006
Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems. Zbl 1112.68395
Ames, Aaron D.; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2006
Hybrid systems in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L.
1
2006
A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524
Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L.
1
2006
Languages and tools for hybrid systems design. Zbl 1143.68346
Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L.
1
2006
Maximizing the stability radius of a set of systems under real-time scheduling constraints. Zbl 1365.90144
Palopoli, Luigi; Pinello, Claudio; Bicchi, Antonio; Sangiovanni-Vincentelli, Alberto
6
2005
Controller synthesis on non-uniform and uncertain discrete-time domains. Zbl 1078.93523
Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L.
4
2005
Hybrid control of networked embedded systems. Zbl 1293.93407
Balluchi, A.; Benvenuti, L.; Engell, S.; Geyer, T.; Johansson, K. H.; Lamnabhi-Lagarrigue, F.; Lygeros, J.; Morari, M.; Papafotiou, G.; Sangiovanni-Vincentelli, A. L.; Santucci, F.; Stursberg, O.
4
2005
Efficient solution of optimal control problems using hybrid systems. Zbl 1098.49027
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
1
2005
Synthesis for idle speed control of an automotive engine. Zbl 1135.93327
Balluchi, Andrea; Natale, Federico Di; Sangiovanni-Vincentelli, Alberto; van Schuppen, Jan H.
3
2004
Noise analysis of radio frequency circuits. Zbl 1055.94032
Mehrotra, Amit; Sangiovanni-Vincentelli, Alberto
3
2004
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
Individual cylinder characteristic estimation for a spark injection engine. Zbl 1026.93005
Benvenuti, L.; Di Benedetto, M. D.; Di Gennaro, S.; Sangiovanni-Vincentelli, A.
1
2003
Design of observers for hybrid systems. Zbl 1050.93040
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.
34
2002
Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28–30, 2001. Proceedings. Zbl 0990.00076
7
2002
Modeling and designing heterogeneous systems. Zbl 1029.68503
Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori
2
2002
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
Compositional modeling in Metropolis. Zbl 1027.68810
Gössler, Gregor; Sangiovanni-Vincentelli, Alberto
1
2002
Synthesis of robust control systems under resource constraints. Zbl 1081.93509
Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio
1
2002
Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518
Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred
1
2002
Optimal control using bisimulations: Implementation. Zbl 0995.49021
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
1
2002
Formula-dependent equivalence for compositional CTL model checking. Zbl 1019.68064
Aziz, Adnan; Shiple, Thomas; Singhal, Vigyan; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
1
2002
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
10
2001
Hybrid control of force transients for multi-point injection engines. Zbl 1123.93312
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto L.
2
2001
Using multiple levels of abstractions in embedded software design. Zbl 1050.68521
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
2
2001
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Theory of optimal control using bisimulations. Zbl 0963.93059
Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto
2
2000
Formal models for communication-based design. Zbl 0999.68527
Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Lavagno, Luciano
1
2000
Hybrid control in automotive applications: the cut-off control. Zbl 1049.93543
Balluchi, A.; Di Benedetto, M. D.; Pinello, C.; Rossi, C.; Sangiovanni-Vincentelli, A.
13
1999
Latency insensitive protocols. Zbl 1046.68585
Carloni, Luca P.; McMillan, Kenneth L.; Sangiovanni-Vincentelli, Alberto L.
3
1999
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
15
1998
Synthesis of finite state machines: functional optimization. Zbl 0876.94056
Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
7
1997
Hardware-software co-design of embedded systems. The POLIS approach. Zbl 0878.68133
Balarin, Felice; Chiodo, Massimiliano; Giusto, Paolo; Hsieh, Harry; Jurecska, Attila; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sentovich, Ellen; Suzuki, Kei; Tabbara, Bassam
4
1997
Synthesis of finite state machines: logic optimization. Zbl 0876.94057
Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
3
1997
Embedded system design and hybrid systems. Zbl 0875.93005
Sangiovanni-Vincentelli, A.
1
1997
An iterative approach to verification of real-time systems. Zbl 0829.68050
Balarin, Felice; Sangiovanni-Vincentelli, Alberto L.
2
1995
Logic synthesis for field programmable gate arrays. Zbl 0839.68044
Murgai, Rajeev; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
2
1995
Equivalences for fair Kripke structures. Zbl 1418.68125
Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
4
1994
A theoretical framework for simulated annealing. Zbl 0717.90061
Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
15
1991
Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009
Kundert, Kenneth S.; White, Jacob K.; Sangiovanni-Vincentelli, Alberto
22
1990
Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067
Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
53
1986
Enhanced methods for feasible directions for engineering design problems. Zbl 0581.90077
Tits, A. L.; Nye, W. T.; Sangiovanni-Vincentelli, A. L.
3
1986
Logic minimization algorithms for VLSI synthesis. Zbl 0565.94020
Brayton, Robert K.; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni- Vincentelli, Alberto L.
49
1984
Relaxation-based electrical simulation. Zbl 0526.65008
Newton, Arthur Richard; Sangiovanni-Vincentelli, Alberto L.
3
1983
Computer-aided design via optimization: A review. Zbl 0478.93021
Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A.
8
1982
Characterization of integration algorithms for the timing analysis of MOS VLSI circuits. Zbl 0492.65046
De Micheli, Giovanni; Sangiovanni-Vincentelli, Alberto
1
1982
Diagnosability of nonlinear circuits and systems. II: Dynamical systems. Zbl 0465.94050
Saeks, Richard; Sangiovanni-Vincentelli, Alberto; Visvanathan, V.
1
1981
Computer aided design via optimization. Zbl 0464.93026
Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A.
1
1980
A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain. Zbl 0421.94020
Rabbat, N. B. Guy; Sangiovanni-Vincentelli, Alberto L.; Hsieh, Hsueh Y.
22
1979
Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem. Zbl 0425.90084
Polak, Elijah; Sangiovanni-Vincentelli, Alberto
16
1979
Theoretical aspects of the optimal design centering, tolerancing and tuning problem. Zbl 0501.49015
Polak, E.; Sangiovanni-Vincentelli, A.
1
1979
Bipartite graphs and an optimal bordered triangular form of a matrix. Zbl 0416.68040
Sangiovanni-Vincentelli, Alberto; Bickart, Theodore A.
1
1979
A new shortest path updating algorithm. Zbl 0392.94022
Goto, S.; Sangiovanni-Vincentelli, A.
8
1978
An efficient heuristic cluster algorithm for tearing large-scale networks. Zbl 0368.94028
Sangiovanni-Vincentelli, Alberto; Chen, Li-Kuan; Chua, Leon O.
7
1977
A graph theoretical interpretation of nonsymmetric permutation on sparse matrices. Zbl 0359.94049
Sangiovanni-Vincentelli, A. L.
3
1977
A general approach to learning in problem-solving. Zbl 0376.68062
Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M.
4
1976
A two levels algorithm for tearing. Zbl 0344.65027
Guardabassi, Guido; Sangiovanni-Vincentelli, Alberto
1
1976
State-space approach in problem-solving optimization. Zbl 0273.68057
Sangiovanni Vincentelli, Alberto; Somalvico, Marco
3
1973
all top 5

Cited by 952 Authors

17 Sangiovanni-Vincentelli, Alberto L.
14 Hartmann, Stefan
9 Yang, Jung-Min
7 Balluchi, Andrea
7 Junges, Sebastian
7 Polak, Elijah (Lucien)
7 Yang, Guanghong
6 Katoen, Joost-Pieter
5 Ciardo, Gianfranco
5 De Santis, Elena
5 Di Benedetto, Maria Domenica
5 Hammer, Jacob
5 Jansen, Nils
5 Tabuada, Paulo
5 Villa, Tiziano
4 Benvenuti, Luca
4 Gómez-Gutiérrez, David
4 Guida, Giovanni
4 Hamkar, Ahmad-Wahadj
4 Johansson, Karl Henrik
4 Larsen, Kim Guldstrand
4 Mayne, David Q.
4 Somalvico, Marco
4 Vázquez, Carlos-Renato
3 Abate, Alessandro
3 Albrecht, Andreas A.
3 An, Liwei
3 Barbuti, Roberto
3 Benveniste, Albert
3 Bernasconi, Anna
3 Bresolin, Davide
3 Floquet, Thierry
3 Geyer, Tobias
3 Kostreva, Michael M.
3 Kupferman, Orna
3 Legay, Axel
3 Lu, Anyang
3 Manamanni, Noureddine
3 Millerioux, Gilles
3 Miner, Andrew S.
3 Morari, Manfred
3 Oliveira, Jorge F.
3 Pappas, George J.
3 Pedrycz, Witold
3 Talpin, Jean-Pierre
3 Wisniewski, Rafael
3 Wong, Chak-Kuen
2 Aarts, Emile Hubertus Leonardus
2 Aliev, T. A.
2 Badings, Thom S.
2 Balarin, Felice
2 Barbot, Jean-Pierre
2 Barkalov, Alexander A.
2 Benerecetti, Massimo
2 Bibilo, P. N.
2 Bonani, Fabrizio
2 Bourke, Timothy
2 Caillaud, Benoît
2 Castiglioni, Valentina
2 Castillo-Toledo, Bernardino
2 Cavalcanti, Ana
2 Čelikovský, Sergej
2 Chaouiya, Claudine
2 Cubuktepe, Murat
2 Del Vecchio, Domitilla
2 Desai, Madhav P.
2 Desoer, Charles A.
2 Dimarogonas, Dimos V.
2 Djemai, Mohamed
2 Droste, Manfred
2 Dubrova, Elena
2 Elwin, John D.
2 Engell, Sebastian
2 Faella, Marco
2 Foster, Simon
2 Fränzle, Martin
2 Fribourg, Laurent
2 Gao, Yinghui
2 Gobi, Adam F.
2 Gori, Roberta
2 Gourary, M. M.
2 Gustafson, Charles L.
2 Hager, Richard
2 Hammer, Peter Ladislaw
2 Henzinger, Thomas A.
2 Hetel, Laurentiu
2 Hu, Qingjie
2 Jacobson, Sheldon H.
2 Julius, A. Agung
2 Kania, Dariusz
2 Klimovich, A. S.
2 Kolonko, Michael
2 Korycki, Jacek
2 Kwak, Seong-Woo
2 Lanese, Ivan
2 Le Coënt, Adrien
2 Le Guernic, Paul
2 Lee, Dongeun
2 Leung, Kwong-Sak
2 Li, Junmin
...and 852 more Authors
all top 5

Cited in 134 Serials

42 Automatica
17 International Journal of Control
17 Theoretical Computer Science
15 Journal of the Franklin Institute
15 Formal Methods in System Design
15 Nonlinear Analysis. Hybrid Systems
14 Journal of Optimization Theory and Applications
10 International Journal of Robust and Nonlinear Control
10 European Journal of Control
8 International Journal of Applied Mathematics and Computer Science
7 Artificial Intelligence
7 Information Sciences
7 Systems & Control Letters
6 Computer Methods in Applied Mechanics and Engineering
6 Discrete Applied Mathematics
6 Applied Mathematics and Computation
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
5 Computers & Mathematics with Applications
5 Information and Computation
5 Journal of Global Optimization
5 Discrete Event Dynamic Systems
5 European Journal of Operational Research
4 Information Processing Letters
4 International Journal of Circuit Theory and Applications
4 Algorithmica
4 Mathematical and Computer Modelling
4 Annals of Operations Research
4 International Journal of Computer Mathematics
4 Cybernetics and Systems Analysis
4 Journal of Computer and Systems Sciences International
4 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
4 Quantum Information Processing
4 Logical Methods in Computer Science
3 Journal of Computer and System Sciences
3 Computational Mechanics
3 Linear Algebra and its Applications
3 INFORMS Journal on Computing
3 Nonlinear Dynamics
3 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology
3 Probability in the Engineering and Informational Sciences
2 International Journal of Systems Science
2 Applied Mathematics and Optimization
2 BIT
2 Fuzzy Sets and Systems
2 Mathematics and Computers in Simulation
2 Meccanica
2 Science of Computer Programming
2 Circuits, Systems, and Signal Processing
2 Journal of Complexity
2 International Journal of Parallel Programming
2 Computers & Operations Research
2 COMPEL
2 Real-Time Systems
2 MSCS. Mathematical Structures in Computer Science
2 Archive of Applied Mechanics
2 Journal of Heuristics
2 Mathematical and Computer Modelling of Dynamical Systems
2 Sādhanā
2 Natural Computing
2 Journal of Control Science and Engineering
1 Acta Informatica
1 Bulletin of the Australian Mathematical Society
1 International Journal of General Systems
1 International Journal of Plasticity
1 Journal of Computational Physics
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Aplikace Matematiky
1 Archiv der Mathematik
1 Computing
1 Journal of Applied Probability
1 Journal of Computational and Applied Mathematics
1 Kybernetika
1 Mathematical Programming Study
1 Mathematical Programming
1 Numerical Functional Analysis and Optimization
1 Numerische Mathematik
1 Programming and Computer Software
1 Statistica Neerlandica
1 Cybernetics
1 Advances in Applied Mathematics
1 OR Spektrum
1 Cybernetics and Systems
1 Operations Research Letters
1 Stochastic Analysis and Applications
1 Acta Applicandae Mathematicae
1 International Journal of Production Research
1 American Journal of Mathematical and Management Sciences
1 Applied Numerical Mathematics
1 Acta Mathematicae Applicatae Sinica. English Series
1 Optimization
1 Journal of Automated Reasoning
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 Journal of Scientific Computing
1 Formal Aspects of Computing
1 Neural Computation
1 Designs, Codes and Cryptography
1 Computational Statistics and Data Analysis
1 RAIRO. Informatique Théorique et Applications
...and 34 more Serials

Citations by Year