Edit Profile (opens in new tab) Sangiovanni-Vincentelli, Alberto L. Co-Author Distance Author ID: 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 more...less Further Spellings: Sangiovanni-Vincentelli, Alberto Luigi Homepage: https://www2.eecs.berkeley.edu/Faculty/Homepages/sangiovanni-vicentelli.html External Links: MGP · ORCID Documents Indexed: 103 Publications since 1973, including 11 Books and 2 Additional arXiv Preprints 3 Contributions as Editor Co-Authors: 159 Co-Authors with 100 Joint Publications 3,293 Co-Co-Authors 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 all top 5 Serials 9 IEEE Transactions on Circuits and Systems 4 Automatica 4 IEEE Transactions on Computers 4 Formal Methods in System Design 4 The Kluwer International Series in Engineering and Computer Science 3 International Journal of Control 3 IEEE Transactions on Automatic Control 3 International Journal of Robust and Nonlinear Control 2 International Journal of Circuit Theory and Applications 2 European Journal of Control 2 Lecture Notes in Computer Science 1 Advances in Applied Probability 1 Journal of Optimization Theory and Applications 1 Networks 1 SIAM Journal on Control and Optimization 1 SIAM Journal on Scientific and Statistical Computing 1 Algorithmica 1 Machine Learning 1 Discrete Event Dynamic Systems 1 IEEE Transactions on Systems, Man, and Cybernetics 1 Multiple-Valued Logic 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 Foundations and Trends in Electronic Design Automation 1 IEEE Transactions on Circuits and Systems I: Regular Papers all top 5 Fields 48 Computer science (68-XX) 44 Systems theory; control (93-XX) 26 Information and communication theory, circuits (94-XX) 15 Numerical analysis (65-XX) 11 Operations research, mathematical programming (90-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 4 Combinatorics (05-XX) 2 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) 1 Approximations and expansions (41-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Fields 176 Computer science (68-XX) 170 Systems theory; control (93-XX) 102 Operations research, mathematical programming (90-XX) 61 Numerical analysis (65-XX) 49 Information and communication theory, circuits (94-XX) 20 Mechanics of deformable solids (74-XX) 18 Calculus of variations and optimal control; optimization (49-XX) 17 Ordinary differential equations (34-XX) 15 Probability theory and stochastic processes (60-XX) 14 Mathematical logic and foundations (03-XX) 12 Biology and other natural sciences (92-XX) 7 Combinatorics (05-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Mechanics of particles and systems (70-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Statistics (62-XX) 3 Quantum theory (81-XX) 2 Real functions (26-XX) 2 Partial differential equations (35-XX) 2 Operator theory (47-XX) 2 Optics, electromagnetic theory (78-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Category theory; homological algebra (18-XX) 1 Functions of a complex variable (30-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year