Edit Profile (opens in new tab) Sangiovanni-Vincentelli, Alberto L. Compute Distance To: Compute 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 Further Spellings: Sangiovanni-Vincentelli, Alberto Luigi Documents Indexed: 99 Publications since 1973, including 11 Books 3 Contributions as Editor Co-Authors: 150 Co-Authors with 96 Joint Publications 2,632 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 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 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 Discrete Event Dynamic Systems 1 IEEE Transactions on Systems, Man, and Cybernetics 1 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 46 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 74 Publications have been cited 412 times in 389 Documents Cited by ▼ Year ▼ Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto 47 1986 Logic minimization algorithms for VLSI synthesis. Zbl 0565.94020Brayton, Robert K.; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni- Vincentelli, Alberto L. 41 1984 Design of observers for hybrid systems. Zbl 1050.93040Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L. 27 2002 Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009Kundert, 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.94020Rabbat, 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.93532Shoukry, 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.90084Polak, Elijah; Sangiovanni-Vincentelli, Alberto 16 1979 A theoretical framework for simulated annealing. Zbl 0717.90061Romeo, Fabio; Sangiovanni-Vincentelli, Alberto 14 1991 Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 11 1998 Hybrid control in automotive applications: the cut-off control. Zbl 1049.93543Balluchi, 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.93152Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto 10 2012 Model matching for finite-state machines. Zbl 1009.93053Di 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.93155Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto 9 2013 A new shortest path updating algorithm. Zbl 0392.94022Goto, S.; Sangiovanni-Vincentelli, A. 8 1978 Synthesis of finite state machines: functional optimization. Zbl 0876.94056Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto 7 1997 Computer-aided design via optimization: A review. Zbl 0478.93021Mayne, 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.68385Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. 7 2006 An efficient heuristic cluster algorithm for tearing large-scale networks. Zbl 0368.94028Sangiovanni-Vincentelli, Alberto; Chen, Li-Kuan; Chua, Leon O. 6 1977 Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322Yevtushenko, 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.93070Balluchi, 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.93306Balluchi, 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.90144Palopoli, Luigi; Pinello, Claudio; Bicchi, Antonio; Sangiovanni-Vincentelli, Alberto 5 2005 A general approach to learning in problem-solving. Zbl 0376.68062Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M. 4 1976 Hardware-software co-design of embedded systems. The POLIS approach. Zbl 0878.68133Balarin, 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.93407Balluchi, 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.93051Balluchi, 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.68202Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A. 4 2013 A graph theoretical interpretation of nonsymmetric permutation on sparse matrices. Zbl 0359.94049Sangiovanni-Vincentelli, A. L. 3 1977 Synthesis for idle speed control of an automotive engine. Zbl 1135.93327Balluchi, Andrea; Natale, Federico Di; Sangiovanni-Vincentelli, Alberto; van Schuppen, Jan H. 3 2004 Noise analysis of radio frequency circuits. Zbl 1055.94032Mehrotra, Amit; Sangiovanni-Vincentelli, Alberto 3 2004 Synthesis of finite state machines: logic optimization. Zbl 0876.94057Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto 3 1997 Relaxation-based electrical simulation. Zbl 0526.65008Newton, Arthur Richard; Sangiovanni-Vincentelli, Alberto L. 3 1983 Enhanced methods for feasible directions for engineering design problems. Zbl 0581.90077Tits, 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.68023Villa, 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.68169Ghosh, 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.68102Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo 3 2017 Latency insensitive protocols. Zbl 1046.68585Carloni, Luca P.; McMillan, Kenneth L.; Sangiovanni-Vincentelli, Alberto L. 3 1999 Controller synthesis on non-uniform and uncertain discrete-time domains. Zbl 1078.93523Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L. 3 2005 Schedulability analysis of Petri nets based on structural properties. Zbl 1167.68401Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto 3 2008 FSM encoding for BDD representations. Zbl 1153.68553Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L. 2 2007 State-space approach in problem-solving optimization. Zbl 0273.68057Sangiovanni Vincentelli, Alberto; Somalvico, Marco 2 1973 Hybrid control of force transients for multi-point injection engines. Zbl 1123.93312Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto L. 2 2001 Theory of optimal control using bisimulations. Zbl 0963.93059Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 2 2000 An iterative approach to verification of real-time systems. Zbl 0829.68050Balarin, Felice; Sangiovanni-Vincentelli, Alberto L. 2 1995 Logic synthesis for field programmable gate arrays. Zbl 0839.68044Murgai, Rajeev; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto 2 1995 Using multiple levels of abstractions in embedded software design. Zbl 1050.68521Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. 2 2001 Implementing synchronous models on loosely time triggered architectures. Zbl 1390.68050Tripakis, Stavros; Pinello, Claudio; Benveniste, Albert; Sangiovanni-Vincentelli, Alberto; Caspi, Paul; Di Natale, Marco 1 2008 Synthesis of multilevel Boolean networks. Zbl 1209.94068Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 1 2010 Embedded system design and hybrid systems. Zbl 0875.93005Sangiovanni-Vincentelli, A. 1 1997 Bipartite graphs and an optimal bordered triangular form of a matrix. Zbl 0416.68040Sangiovanni-Vincentelli, Alberto; Bickart, Theodore A. 1 1979 Computer aided design via optimization. Zbl 0464.93026Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A. 1 1980 Diagnosability of nonlinear circuits and systems. II: Dynamical systems. Zbl 0465.94050Saeks, Richard; Sangiovanni-Vincentelli, Alberto; Visvanathan, V. 1 1981 Formal models for communication-based design. Zbl 0999.68527Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Lavagno, Luciano 1 2000 Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Optimal control using bisimulations: Implementation. Zbl 0995.49021Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 1 2002 Formula-dependent equivalence for compositional CTL model checking. Zbl 1019.68064Aziz, Adnan; Shiple, Thomas; Singhal, Vigyan; Brayton, Robert; Sangiovanni-Vincentelli, Alberto 1 2002 Equivalences for fair Kripke structures. Zbl 1418.68125Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 1 1994 A two levels algorithm for tearing. Zbl 0344.65027Guardabassi, Guido; Sangiovanni-Vincentelli, Alberto 1 1976 Hybrid modelling and control of the common rail injection system. Zbl 1178.93101Balluchi, 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.68395Ames, 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 07120154Ghosh, 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.49015Polak, E.; Sangiovanni-Vincentelli, A. 1 1979 A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L. 1 2006 Modeling and designing heterogeneous systems. Zbl 1029.68503Balarin, 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.93005Benvenuti, 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.68857Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar 1 2002 Compositional modeling in Metropolis. Zbl 1027.68810Gössler, Gregor; Sangiovanni-Vincentelli, Alberto 1 2002 Synthesis of robust control systems under resource constraints. Zbl 1081.93509Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio 1 2002 Hybrid systems in automotive electronics design. Zbl 1113.93080Balluchi, 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.93050Albertoni, 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.49027Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 1 2005 Languages and tools for hybrid systems design. Zbl 1143.68346Carloni, 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.93313Benvenuti, 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 07120154Ghosh, 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.93532Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo 18 2017 SMC: satisfiability modulo convex optimization. Zbl 1366.68102Shoukry, 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.68169Ghosh, 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.93155Balluchi, 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.68202Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A. 4 2013 Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Zbl 1264.93152Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto 10 2012 The unknown component problem. Theory and applications. Zbl 1248.68023Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto 3 2012 Synthesis of multilevel Boolean networks. Zbl 1209.94068Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 1 2010 Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322Yevtushenko, 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.68401Liu, Cong; Kondratyev, Alex; Watanabe, Yosinori; Desel, Jörg; Sangiovanni-Vincentelli, Alberto 3 2008 Implementing synchronous models on loosely time triggered architectures. Zbl 1390.68050Tripakis, 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.93313Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni 1 2008 Hybrid modelling and control of the common rail injection system. Zbl 1129.93306Balluchi, A.; Bicchi, A.; Mazzi, E.; Vincentelli, A. Sangiovanni; Serra, G. 5 2007 FSM encoding for BDD representations. Zbl 1153.68553Gosti, 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.93050Albertoni, 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.68385Carloni, Luca P.; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto L. 7 2006 Hybrid modelling and control of the common rail injection system. Zbl 1178.93101Balluchi, 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.68395Ames, Aaron D.; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar 1 2006 A framework for modeling the distributed deployment of synchronous designs. Zbl 1099.68524Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L. 1 2006 Hybrid systems in automotive electronics design. Zbl 1113.93080Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L. 1 2006 Languages and tools for hybrid systems design. Zbl 1143.68346Carloni, 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.90144Palopoli, Luigi; Pinello, Claudio; Bicchi, Antonio; Sangiovanni-Vincentelli, Alberto 5 2005 Hybrid control of networked embedded systems. Zbl 1293.93407Balluchi, 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.93523Balluchi, Andrea; Murrieri, Pierpaolo; Sangiovanni-Vincentelli, Alberto L. 3 2005 Efficient solution of optimal control problems using hybrid systems. Zbl 1098.49027Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 1 2005 Synthesis for idle speed control of an automotive engine. Zbl 1135.93327Balluchi, Andrea; Natale, Federico Di; Sangiovanni-Vincentelli, Alberto; van Schuppen, Jan H. 3 2004 Noise analysis of radio frequency circuits. Zbl 1055.94032Mehrotra, Amit; Sangiovanni-Vincentelli, Alberto 3 2004 Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051Balluchi, 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.93005Benvenuti, L.; Di Benedetto, M. D.; Di Gennaro, S.; Sangiovanni-Vincentelli, A. 1 2003 Design of observers for hybrid systems. Zbl 1050.93040Balluchi, 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.93518Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred 1 2002 Optimal control using bisimulations: Implementation. Zbl 0995.49021Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 1 2002 Formula-dependent equivalence for compositional CTL model checking. Zbl 1019.68064Aziz, Adnan; Shiple, Thomas; Singhal, Vigyan; Brayton, Robert; Sangiovanni-Vincentelli, Alberto 1 2002 Modeling and designing heterogeneous systems. Zbl 1029.68503Balarin, 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.68857Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar 1 2002 Compositional modeling in Metropolis. Zbl 1027.68810Gössler, Gregor; Sangiovanni-Vincentelli, Alberto 1 2002 Synthesis of robust control systems under resource constraints. Zbl 1081.93509Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio 1 2002 Model matching for finite-state machines. Zbl 1009.93053Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano 9 2001 Hybrid control of force transients for multi-point injection engines. Zbl 1123.93312Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto L. 2 2001 Using multiple levels of abstractions in embedded software design. Zbl 1050.68521Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. 2 2001 Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070Balluchi, 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.93059Broucke, Mireille; Di Benedetto, Maria Domenica; Di Gennaro, Stefano; Sangiovanni-Vincentelli, Alberto 2 2000 Formal models for communication-based design. Zbl 0999.68527Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Lavagno, Luciano 1 2000 Hybrid control in automotive applications: the cut-off control. Zbl 1049.93543Balluchi, A.; Di Benedetto, M. D.; Pinello, C.; Rossi, C.; Sangiovanni-Vincentelli, A. 11 1999 Latency insensitive protocols. Zbl 1046.68585Carloni, Luca P.; McMillan, Kenneth L.; Sangiovanni-Vincentelli, Alberto L. 3 1999 Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 11 1998 Synthesis of finite state machines: functional optimization. Zbl 0876.94056Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto 7 1997 Hardware-software co-design of embedded systems. The POLIS approach. Zbl 0878.68133Balarin, 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.94057Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto 3 1997 Embedded system design and hybrid systems. Zbl 0875.93005Sangiovanni-Vincentelli, A. 1 1997 An iterative approach to verification of real-time systems. Zbl 0829.68050Balarin, Felice; Sangiovanni-Vincentelli, Alberto L. 2 1995 Logic synthesis for field programmable gate arrays. Zbl 0839.68044Murgai, Rajeev; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto 2 1995 Equivalences for fair Kripke structures. Zbl 1418.68125Aziz, Adnan; Singhal, Vigyan; Balarin, Felice; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. 1 1994 A theoretical framework for simulated annealing. Zbl 0717.90061Romeo, Fabio; Sangiovanni-Vincentelli, Alberto 14 1991 Steady-state methods for simulating analog and microwave circuits. Zbl 0723.94009Kundert, Kenneth S.; White, Jacob K.; Sangiovanni-Vincentelli, Alberto 21 1990 Convergence and finite-time behavior of simulated annealing. Zbl 0604.60067Mitra, Debasis; Romeo, Fabio; Sangiovanni-Vincentelli, Alberto 47 1986 Enhanced methods for feasible directions for engineering design problems. Zbl 0581.90077Tits, A. L.; Nye, W. T.; Sangiovanni-Vincentelli, A. L. 3 1986 Logic minimization algorithms for VLSI synthesis. Zbl 0565.94020Brayton, Robert K.; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni- Vincentelli, Alberto L. 41 1984 Relaxation-based electrical simulation. Zbl 0526.65008Newton, Arthur Richard; Sangiovanni-Vincentelli, Alberto L. 3 1983 Computer-aided design via optimization: A review. Zbl 0478.93021Mayne, D. Q.; Polak, E.; Sangiovanni-Vincentelli, A. 7 1982 Diagnosability of nonlinear circuits and systems. II: Dynamical systems. Zbl 0465.94050Saeks, Richard; Sangiovanni-Vincentelli, Alberto; Visvanathan, V. 1 1981 Computer aided design via optimization. Zbl 0464.93026Mayne, 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.94020Rabbat, 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.90084Polak, Elijah; Sangiovanni-Vincentelli, Alberto 16 1979 Bipartite graphs and an optimal bordered triangular form of a matrix. Zbl 0416.68040Sangiovanni-Vincentelli, Alberto; Bickart, Theodore A. 1 1979 Theoretical aspects of the optimal design centering, tolerancing and tuning problem. Zbl 0501.49015Polak, E.; Sangiovanni-Vincentelli, A. 1 1979 A new shortest path updating algorithm. Zbl 0392.94022Goto, S.; Sangiovanni-Vincentelli, A. 8 1978 An efficient heuristic cluster algorithm for tearing large-scale networks. Zbl 0368.94028Sangiovanni-Vincentelli, Alberto; Chen, Li-Kuan; Chua, Leon O. 6 1977 A graph theoretical interpretation of nonsymmetric permutation on sparse matrices. Zbl 0359.94049Sangiovanni-Vincentelli, A. L. 3 1977 A general approach to learning in problem-solving. Zbl 0376.68062Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M. 4 1976 A two levels algorithm for tearing. Zbl 0344.65027Guardabassi, Guido; Sangiovanni-Vincentelli, Alberto 1 1976 State-space approach in problem-solving optimization. Zbl 0273.68057Sangiovanni Vincentelli, Alberto; Somalvico, Marco 2 1973 all cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Fields 139 Computer science (68-XX) 135 Systems theory; control (93-XX) 92 Operations research, mathematical programming (90-XX) 57 Numerical analysis (65-XX) 44 Information and communication theory, circuits (94-XX) 18 Mechanics of deformable solids (74-XX) 17 Ordinary differential equations (34-XX) 16 Calculus of variations and optimal control; optimization (49-XX) 14 Mathematical logic and foundations (03-XX) 13 Probability theory and stochastic processes (60-XX) 12 Biology and other natural sciences (92-XX) 6 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Statistics (62-XX) 4 Mechanics of particles and systems (70-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Quantum theory (81-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 Real functions (26-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