×

Sangiovanni-Vincentelli, Alberto L.

Compute Distance To:
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
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
5 Pinello, Claudio
5 Polak, Elijah (Lucien)
5 Seshia, Sanjit Arunkumar
4 Balarin, Felice
4 Bicchi, Antonio
4 Di Gennaro, Stefano
4 Lavagno, Luciano
4 Pinto, Alessandro
4 Visvanathan, V.
3 Broucke, Mireille E.
3 Ferrari, Alberto
3 Kam, Timothy
3 Mazzi, Emanuele
3 Nuzzo, Pierluigi
3 Passerone, Claudio
2 Aziz, Adnan
2 Benveniste, Albert
2 Burch, Jerry R.
2 Caspi, Paul
2 Charbon, Edoardo
2 Ghosh, Shromona
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 Sastry, Shankar S.
2 Sentovich, Ellen
2 Serra, Gabriele
2 Sgroi, Marco
2 Shoukry, Yasser
2 Singhal, Vigyan
2 Somalvico, Marco
2 Tabuada, Paulo
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 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 Elghaoui, Laurent
1 Engell, Sebastian
1 Essebo, Tommy
1 Felt, Eric
1 Frascolla, Valerio
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 Johansson, Karl Henrik
1 Kaye, R. John
1 Kondratyev, Alex
1 Koo, T. John
1 Krogh, Bruce H.
1 Kuh, Ernest Shiu-jen
1 Kundert, Kenneth S.
1 Lamnabhi-Lagarrigue, Françoise
1 Lelarasmee, E.
1 Liebman, Judith S.
...and 50 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

74 Publications have been cited 412 times in 389 Documents Cited by Year
Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067
Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
47
1986
Logic minimization algorithms for VLSI synthesis. Zbl 0565.94020
Brayton, Robert K.; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni- Vincentelli, Alberto L.
41
1984
Design of observers for hybrid systems. Zbl 1050.93040
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.
27
2002
Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009
Kundert, Kenneth S.; White, Jacob K.; Sangiovanni-Vincentelli, Alberto
21
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.
21
1979
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
18
2017
Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem. Zbl 0425.90084
Polak, Elijah; Sangiovanni-Vincentelli, Alberto
16
1979
A theoretical framework for simulated annealing. Zbl 0717.90061
Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
14
1991
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
11
1998
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.
11
1999
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
10
2012
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
9
2001
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
9
2013
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
Computer-aided design via optimization: A review. Zbl 0478.93021
Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A.
7
1982
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.
7
2006
An efficient heuristic cluster algorithm for tearing large-scale networks. Zbl 0368.94028
Sangiovanni-Vincentelli, Alberto; Chen, Li-Kuan; Chua, Leon O.
6
1977
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
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
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
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
5
2005
A general approach to learning in problem-solving. Zbl 0376.68062
Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M.
4
1976
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
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
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
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.
4
2013
A graph theoretical interpretation of nonsymmetric permutation on sparse matrices. Zbl 0359.94049
Sangiovanni-Vincentelli, A. L.
3
1977
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
Synthesis of finite state machines: logic optimization. Zbl 0876.94057
Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
3
1997
Relaxation-based electrical simulation. Zbl 0526.65008
Newton, Arthur Richard; Sangiovanni-Vincentelli, Alberto L.
3
1983
Enhanced methods for feasible directions for engineering design problems. Zbl 0581.90077
Tits, A. L.; Nye, W. T.; Sangiovanni-Vincentelli, A. L.
3
1986
Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28–30, 2001. Proceedings. Zbl 0990.00076
3
2002
The unknown component problem. Theory and applications. Zbl 1248.68023
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
3
2012
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.
3
2016
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
3
2017
Latency insensitive protocols. Zbl 1046.68585
Carloni, Luca P.; McMillan, Kenneth L.; Sangiovanni-Vincentelli, Alberto L.
3
1999
Controller synthesis on non-uniform and uncertain discrete-time domains. Zbl 1078.93523
Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L.
3
2005
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
FSM encoding for BDD representations. Zbl 1153.68553
Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L.
2
2007
State-space approach in problem-solving optimization. Zbl 0273.68057
Sangiovanni Vincentelli, Alberto; Somalvico, Marco
2
1973
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
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
Using multiple levels of abstractions in embedded software design. Zbl 1050.68521
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
2
2001
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
Synthesis of multilevel Boolean networks. Zbl 1209.94068
Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
2010
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
Formal models for communication-based design. Zbl 0999.68527
Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Lavagno, Luciano
1
2000
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
Equivalences for fair Kripke structures. Zbl 1418.68125
Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
1994
A two levels algorithm for tearing. Zbl 0344.65027
Guardabassi, Guido; Sangiovanni-Vincentelli, Alberto
1
1976
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
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
1
2019
Theoretical aspects of the optimal design centering, tolerancing and tuning problem. Zbl 0501.49015
Polak, E.; Sangiovanni-Vincentelli, A.
1
1979
A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524
Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L.
1
2006
Modeling and designing heterogeneous systems. Zbl 1029.68503
Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori
1
2002
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
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 in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L.
1
2006
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
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
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
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
1
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
18
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
3
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.
3
2016
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
9
2013
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.
4
2013
Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto
10
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
3
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
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
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 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
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.
7
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
A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524
Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L.
1
2006
Hybrid systems in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. 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
5
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
Controller synthesis on non-uniform and uncertain discrete-time domains. Zbl 1078.93523
Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L.
3
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.
27
2002
Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28–30, 2001. Proceedings. Zbl 0990.00076
3
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
Modeling and designing heterogeneous systems. Zbl 1029.68503
Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori
1
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
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
9
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.
11
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.
11
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.
1
1994
A theoretical framework for simulated annealing. Zbl 0717.90061
Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
14
1991
Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009
Kundert, Kenneth S.; White, Jacob K.; Sangiovanni-Vincentelli, Alberto
21
1990
Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067
Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto
47
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.
41
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.
7
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.
21
1979
Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem. Zbl 0425.90084
Polak, Elijah; Sangiovanni-Vincentelli, Alberto
16
1979
Bipartite graphs and an optimal bordered triangular form of a matrix. Zbl 0416.68040
Sangiovanni-Vincentelli, Alberto; Bickart, Theodore A.
1
1979
Theoretical aspects of the optimal design centering, tolerancing and tuning problem. Zbl 0501.49015
Polak, E.; Sangiovanni-Vincentelli, 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.
6
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
2
1973
all top 5

Cited by 785 Authors

15 Sangiovanni-Vincentelli, Alberto L.
13 Hartmann, Stefan
8 Yang, Jung-Min
7 Balluchi, Andrea
7 Polak, Elijah (Lucien)
5 De Santis, Elena
5 Di Benedetto, Maria Domenica
5 Hammer, Jacob
5 Tabuada, Paulo
5 Yang, Guanghong
4 Benvenuti, Luca
4 Ciardo, Gianfranco
4 Gómez-Gutiérrez, David
4 Guida, Giovanni
4 Hamkar, Ahmad-Wahadj
4 Larsen, Kim Guldstrand
4 Mayne, David Q.
4 Somalvico, Marco
4 Vázquez, Carlos-Renato
4 Villa, Tiziano
3 Geyer, Tobias
3 Johansson, Karl Henrik
3 Kostreva, Michael M.
3 Legay, Axel
3 Lu, Anyang
3 Morari, Manfred
3 Oliveira, Jorge F.
3 Pappas, George J.
3 Pedrycz, Witold
3 Talpin, Jean-Pierre
3 Wisniewski, Rafael
2 Aarts, Emile Hubertus Leonardus
2 Aliev, T. A.
2 An, Liwei
2 Balarin, Felice
2 Barkalov, Alexander A.
2 Benerecetti, Massimo
2 Benveniste, Albert
2 Bibilo, P. N.
2 Bonani, Fabrizio
2 Bourke, Timothy
2 Bresolin, Davide
2 Caillaud, Benoît
2 Castillo-Toledo, Bernardino
2 Cavalcanti, Ana
2 Čelikovský, Sergej
2 Chaouiya, Claudine
2 Del Vecchio, Domitilla
2 Desai, Madhav P.
2 Desoer, Charles A.
2 Dimarogonas, Dimos V.
2 Elwin, John D.
2 Engell, Sebastian
2 Faella, Marco
2 Foster, Simon
2 Fribourg, Laurent
2 Gao, Yinghui
2 Gobi, Adam F.
2 Gourary, M. M.
2 Gustafson, Charles L.
2 Hager, Richard
2 Hammer, Peter Ladislaw
2 Hu, Qingjie
2 Jacobson, Sheldon H.
2 Julius, A. Agung
2 Junges, Sebastian
2 Kania, Dariusz
2 Katoen, Joost-Pieter
2 Klimovich, A. S.
2 Kolonko, Michael
2 Korycki, Jacek
2 Lanese, Ivan
2 Le Coënt, Adrien
2 Le Guernic, Paul
2 Lee, Dong Eun
2 Leth, John
2 Li, Junmin
2 Likhachev, Maxim
2 Lindemann, Lars
2 Lu, Kai
2 Lygeros, John
2 Manamanni, Noureddine
2 Mardare, Radu
2 Meseguer Guaita, José
2 Messai, Nadhir
2 Mielcarek, Kamil
2 Millerioux, Gilles
2 Mulvaney, B. J.
2 Naldi, Aurélien
2 Netz, Torben
2 Orosz, Jeffrey E.
2 Pajic, Miroslav
2 Pedro, José Carlos
2 Pisano, Alessandro
2 Pola, Giordano
2 Pouzet, Marc
2 Quint, Karsten J.
2 Ramírez-Teviño, Antonio
2 Ramírez-Treviño, Antonio
2 Remy, Elisabeth
...and 685 more Authors
all top 5

Cited in 125 Serials

35 Automatica
17 International Journal of Control
16 Theoretical Computer Science
14 Journal of Optimization Theory and Applications
13 Formal Methods in System Design
12 Nonlinear Analysis. Hybrid Systems
10 Journal of the Franklin Institute
8 European Journal of Control
8 International Journal of Applied Mathematics and Computer Science
7 Applied Mathematics and Computation
7 Systems & Control Letters
6 Computer Methods in Applied Mechanics and Engineering
5 Discrete Applied Mathematics
5 Information Sciences
5 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
5 Journal of Global Optimization
5 Discrete Event Dynamic Systems
5 European Journal of Operational Research
5 International Journal of Robust and Nonlinear Control
4 Artificial Intelligence
4 Computers & Mathematics with Applications
4 Information Processing Letters
4 International Journal of Circuit Theory and Applications
4 Algorithmica
4 Information and Computation
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
3 Journal of Computer and System Sciences
3 Computational Mechanics
3 Nonlinear Dynamics
3 Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology
3 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
3 Probability in the Engineering and Informational Sciences
3 Quantum Information Processing
3 Logical Methods in Computer Science
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 Linear Algebra and its Applications
2 Archive of Applied Mechanics
2 Journal of Heuristics
2 INFORMS Journal on Computing
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 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 Neural Computation
1 Designs, Codes and Cryptography
1 Computational Statistics and Data Analysis
1 RAIRO. Informatique Théorique et Applications
1 Mathematical Programming. Series A. Series B
1 Advances in Engineering Software
1 Journal of Computational Neuroscience
...and 25 more Serials

Citations by Year