Foundations of Hybrid and Embedded Systems and Software
Total Page:16
File Type:pdf, Size:1020Kb
FINAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR-0225610 UNIVERSITY OF CALIFORNIA, BERKELEY November 26, 2010 PERIOD OF PERFORMANCE COVERED: November 14, 2002 – August 31, 2010 1 Contents 1 Participants 3 1.1 People ....................................... 3 1.2 PartnerOrganizations: . ... 9 1.3 Collaborators:.................................. 9 2 Activities and Findings 14 2.1 ProjectActivities ............................... .. 14 2.1.1 ITREvents ................................ 16 2.1.2 HybridSystemsTheory . .. .. 16 2.1.3 DeepCompositionality . 16 2.1.4 RobustHybridSystems . .. .. 16 2.1.5 Hybrid Systems and Systems Biology . .. 16 2.2 ProjectFindings................................. 16 3 Outreach 16 3.1 Project Training and Development . .... 16 3.2 OutreachActivities .............................. .. 16 3.2.1 Curriculum Development for Modern Systems Science (MSS)..... 16 3.2.2 Undergrad Course Insertion and Transfer . ..... 16 3.2.3 GraduateCourses............................. 16 4 Publications and Products 16 4.1 Technicalreports ................................ 16 4.2 PhDtheses .................................... 16 4.3 PhDtheses .................................... 16 4.4 Conferencepapers................................ 16 4.5 Books ....................................... 16 4.6 Journalarticles ................................. 16 4.6.1 The 2009-2010 Chess seminar series . ... 16 4.6.2 WorkshopsandInvitedTalks . 16 4.6.3 GeneralDissemination . 16 4.7 OtherSpecificProducts ............................ 16 5 Contributions 16 5.1 WithinDiscipline ................................ 16 5.1.1 HybridSystemsTheory . .. .. 16 5.1.2 Model-BasedDesign ........................... 16 5.1.3 Advanced Tool Architectures . 16 5.1.4 ExperimentalResearch . 16 5.2 OtherDisciplines ................................ 16 5.3 HumanResourceDevelopment. .. 16 2 5.4 IntegrationofResearchandEducation . ...... 16 5.5 Beyond Science and Engineering . .... 16 1 Participants 1.1 People PRINCIPAL INVESTIGATORS: THOMAS HENZINGER (UC BERKELEY, EECS) EDWARD A. LEE (UC BERKELEY, EECS) ALBERTO SANGIOVANNI-VINCENTELLI (UC BERKELEY, EECS) SHANKAR SASTRY (UC BERKELEY, EECS) CLAIRE TOMLIN (UC BERKELEY, EECS) FACULTY INVESTIGATORS ALEX AIKEN (UC BERKELEY, CS) AHMAD BAHAI (UC BERKELEY, EECS) RUZENA BAJCSY (UC BERKELEY, EECS) ALEXANDRE BAYEN (UC BERKELEY, CIVIL ENGINEERING) GAUTAM BISWAS (VANDERBILT, CS) RASTISLAV BODIK (UC BERKELEY, EECS) BELLA BOLLOBAS (MEMPHIS, MATHEMATICS) JEROME A. FELDMAN (UC BERKELEY) KENNETH FRAMPTON (VANDERBILT, ME) WAGDY H. MAHMOUD (TENNESSEE TECH. UNIVERSITY) J. KARL HEDRICK (UC BERKELEY, ME) GABOR KARSAI (VANDERBILT, ECE) KURT KEUTZER (UC BERKELEY, EECS) T. JOHN KOO (VANDERBILT) GEORGE NECULA (UC BERKELEY, EECS) SRINI RAMASWAMY (TENNESSEE TECH. UNIVERSITY) CARLO SEQUIN (UC BERKELEY, EECS) MASAYOSHI TOMIZUKA (UC BERKELEY, ME) POST DOCTORAL RESEARCHERS: ALVARO CARDENAS (UC BERKELEY) MASSIMO FRANCESHETTI (UC BERKELEY) CHRISTOPH KIRSH (UC BERKELEY) AKOS LEDECZI (VANDERBILT) CLAUDIO PINELLO (UC BERKELEY) MARCO SANVIDO (UC BERKELEY) JONATHAN SPRINKLE (UC BERKELEY) GRADUATE STUDENTS: ALESSANDRO ABATE (UC BERKELEY) 3 AARON AMES (UC BERKELEY) SAURABH AMIN (UC BERKELEY) ANIL ASWANI (UC BERKELEY) DANIEL BALASUBRAMANIAN (UC BERKELEY, VANDERBILT) CHRIS BEERS (VANDERBILT) JAN BIERMEYER (UC BERKELEY) LUCA CARLONI (UC BERKELEY) JOSE CARLOS ZAVALA (UC BERKELEY) ADAM CATALDO (UC BERKELEY) ARINDAM CHAKRABARTI (UC BERKELEY) YOUNG-HWAN CHANG (UC BERKELEY) DENNIS CHANG (UC BERKELEY) KRISHNENDU CHATTERJEE (UC BERKELEY) KAI CHEN (VANDEREBILT) ELAINE CHEONG (UC BERKELEY) ANDREW D. DIXON (VANDERBILT) ABHIJIT DAVARE (UC BERKELEY) DOUGLAS DENSMORE (UC BERKELEY) ANDREW DIXON (VANDERBILT) MILOS DREZGIC (UC BERKELEY) BRANDON EAMES (VANDERBILT) MATTHEW EMERSON (VANDERBILT) HUINING FENG (UC BERKELEY) AARONG FLEETWOOD (VANDERBILT) JOYTI GANDHE (VANDERBILT) SUMITRA GANESH (UC BERKELEY) CSABA GARAY (VANDERBILT) ARKEDEB GHOSAL (UC BERKELEY) MATTHEW HARREN (UC BERKELEY) GRAHAM HEMMINGWAY (VANDERBILT) THOMAS HUINING FENG (UC BERKELEY) SLEIMAN ITANI (UC BERKELEY) MATTHEW J. EMERSON (VANDERBILT) ETHAN JACKSON (VANDERBILT) FARINAZ KOUSHANFAR (UC BERKELEY) NARAYANAN KRISHNAN (UC BERKELEY) ALEXANDER KURZHANSKIY (UC BERKELEY) MANISH KUSHWAHA (VANDERBILT) BRANISLAV KUSHY (VANDERBILT) JONGHO LEE (UC BERKELEY) CHRISTINA LEE (VANDERBILT) XIAOJUN LIU (UC BERKELEY) 4 GABOR MADL (VANDERBILT) SLOBODAN MATIC (UC BERKELEY) ELEFTERIOUS MATSIKOUDIS (UC BERKELEY) MARK MCKELVIN (UC BERKELEY) TREVOR MEYEROWITZ (UC BERKELEY) BHARATHWAJ MUTHUSWARMY (UC BERKELEY) TAKASHI NAGATA (UC BERKELEY) STEPHEN NEUENDORFFER (UC BERKELEY) SONGHWAI OH (UC BERKELEY) DAVID P. MANDELIN (UC BERKELEY) ALESSANDRO PINTO (UC BERKELEY) WILLIAM PLISHKER (UC BERKELEY) VINAYAK PRABHU (UC BERKELEY) BENJAMIN R. LIBLIT (UC BERKELEY) KAUSHIK RAVINDRAN (UC BERKELEY) JANOS SALLAI (VANDERBILT) PANNAG SANKETI (UC BERKELEY) TRIPTI SAXENA (VANDERBILT) PETER SCHMIDT (VANDERBILT) TIVADAR SZEMETHY (VANDERBILT) RYAN T THIBODEAUX (VANDERBILT) TAO TAO (VANDERBILT) TODD TEMPLETON (UC BERKELEY) AMBUJ TEWARI (UC BERKELEY) GUOGIANG WANG (UC BERKELEY) GUANG YANG (UC BERKELEY) YANG YANG (UC BERKELEY) INSOON YANG (UC BERKELEY) JAMES YEH (UC BERKELEY) HAIBO ZENG (UC BERKELEY) YANG ZHAO (UC BERKELEY) HAIYANG ZHENG (UC BERKELEY) WEI ZHENG (UC BERKELEY) GANG ZHOU (UC BERKELEY) QI ZHOU (UC BERKELEY) YE ZHOU (UC BERKELEY) UNDERGRADS: DANIEL BALASUBRAMANIAN PHILIP BALDWIN (UC BERKELEY) COLIN COCHRAN (UC BERKELEY) NICKOLIA COOMBS (VANDERBILT) RACHAEL DENNISON (VANDERBILT) 5 DAVID GARCIA (VANDERBILT) MARCUS GRALY (UC BERKELEY) SHANTEL HIGGINS (VANDERBILT) JOHN KILBY (VANDERBILT) EFOSA OJOMO (VANDERBILT) MIKE OKYERE (UC BERKELEY) RAKESH REDDY (UC BERKELEY) DEVON REED (UC BERKELEY) MICHAEL RIVERA-JACKSON (VANDERBILT) ISMAEL SARMIENTO (UC BERKELEY) BINA SHAH (VANDERBILT) EDWIN VARGAS (VANDERBILT) TRIONE VINCENT (VANDERBILT) ANTONIO YORDAN-NONES (UC BERKELEY) DANIEL BALASUBRAMANIAN NICKOLIA COOMBS (VANDERBILT) RACHAEL DENNISON (VANDERBILT) DAVID GARCIA (VANDERBILT) SHANTEL HIGGINS (VANDERBILT) JOHN KILBY (VANDERBILT) EFOSA OJOMO (VANDERBILT) MICHAEL RIVERA-JACKSON (VANDERBILT) BINA SHAH (VANDERBILT) EDWIN VARGAS (VANDERBILT) TRIONE VINCENT (VANDERBILT) PHILLIP BALDWIN (UC BERKELEY) CHRIS BEERS (VANDERBILT) TREVOR BROWN (VANDERBILT) COLIN COCHRAN (UC BERKELEY) NICKOLIA COOMBS (VANDERBILT) RACHAEL DENNISON (VANDERBILT) BASIL ETEFIA (UC BERKELEY) ELIZABETH FATUSIN (UC BERKELEY) DAVID GARCIA (VANDERBILT) RAFAEL GARCIA (UC BERKELEY) SHANTEL HIGGINS (VANDERBILT) MARY HILLIARD (VANDERBILT) IYIBO JACK (UC BERKELEY) JOHN KILBY (VANDERBILT) SHIRLEY (XUE) LI (VANDERBILT) PRAVEEN MUDINDI (VANDERBILT) ANTONIO YORDAN-NONES (UC BERKELEY) 6 EFOSA OJOMO (VANDERBILT) MIKE OKYERE (UC BERKELEY) JAMESON PORTER (VANDERBILT) RAKESH REDDY (UC BERKELEY) MICHAEL RIVERA-JACKSON (VANDERBILT) ISMAEL SARMIENTO (UC BERKELEY) BINA SHAH (VANDERBILT) SINITHRO TAVERAS (VANDERBILT) EDWIN VARGAS (VANDERBILT) TIRONE VINCENT (VANDERBILT) JOHN WILLIAMSON (VANDERBILT) LANA CARNEL (UC BERKELEY) MURPHY GANT (UC BERKELEY) ROBERT GREGG (UC BERKELEY) SHAMS KARIMKHAN (UC BERKELEY) SIMON NG (UC BERKELEY) REINALDO ROMERO (UC BERKELEY) PHILLIP BALDWIN (UC BERKELEY) CHRIS BEERS (VANDERBILT) TREVOR BROWN (VANDERBILT) COLIN COCHRAN (UC BERKELEY) NICKOLIA COOMBS (VANDERBILT) RACHAEL DENNISON (VANDERBILT) BASIL ETEFIA (UC BERKELEY) ELIZABETH FATUSIN (UC BERKELEY) DAVID GARCIA (VANDERBILT) RAFAEL GARCIA (UC BERKELEY) SHANTEL HIGGINS (VANDERBILT) MARY HILLIARD (VANDERBILT) IYIBO JACK (UC BERKELEY) JOHN KILBY (VANDERBILT) SHIRLEY (XUE) LI (VANDERBILT) PRAVEEN MUDINDI (VANDERBILT) ANTONIO YORDAN-NONES (UC BERKELEY) EFOSA OJOMO (VANDERBILT) MIKE OKYERE (UC BERKELEY) JAMESON PORTER (VANDERBILT) RAKESH REDDY (UC BERKELEY) MICHAEL RIVERA-JACKSON (VANDERBILT) ISMAEL SARMIENTO (UC BERKELEY) BINA SHAH (VANDERBILT) SINITHRO TAVERAS (VANDERBILT) 7 EDWIN VARGAS (VANDERBILT) TIRONE VINCENT (VANDERBILT) JOHN WILLIAMSON (VANDERBILT) ZULHIMI AHMAD (VANDERBILT) ANGELINE BROWN (VANDERBILT) LOUISE COLLINS (VANDERBILT) DOMINIQUE DUNCAN (UC BERKELEY/UNIVERSITY OF CHICAGO) TARRELL EZELL (VANDERBILT) DANIELLE JONES (VANDERBILT) CHARLES LEFONT (VANDERBILT) KENNETH MCPHERSON (VANDERBILT) NANDITA MITRA (UC BERKELEY/RUTGERS) NASHLIE SEPHUS (UC BERKELEY/MISSISSIPPI STATE) HEATHER TAYLOR (UC BERKELEY/UNIVERSITY OF VERMONT) STEPHANIE WRIGHT (VANDERBILT) STAFF: GYORGY BALOGH (VANDERBILT) CHRISTOPHER BROOKS (UC BERKELEY) JESSICA GAMBLE (UC BERKELEY) ALLEN HOPKINS (UC BERKELEY) CHRISTOPHER HYLANDS (UC BERKELEY) NATHAN JEW (UC BERKELEY) PHILLIP LOARIE (UC BERKELEY) BRADLEY A. KREBS (UC BERKELEY) NEAL MASTER (UC BERKELEY) ZOLTAN MOLNAR (VANDERBILT) MARVIN MOTLEY (UC BERKELEY) GUNNAR PROPPE (UC BERKELEY) DAN STEWARD (VANDERBILT) MARY STEWART (UC BERKELEY) NEIL TURNER (UC BERKELEY) AARON WALBURG (UC BERKELEY) BRIAN WILLIAMS (UC BERKELEY) BRIAN WILLIAMS (VANDERBILT) ZHAOQIAN XIA (UC BERKELEY) BUSINESS ADMINISTRATOR: ROBERT BOXIE (VANDERBILT, SIPHER COORDINATOR) MICHELE M. CODD (VANDERBILT) GLADYS KHOURY (UC BERKELEY) SUSAN GARDNER (UC BERKELEY) TRACEY RICHARDS (UC BERKELEY) EXECUTIVE DIRECTORS: 8 CHRISTOPHER BROOKS (UC BERKELEY) JONATHAN SPRINKLE (UC BERKELEY) 1.2 Partner Organizations: UNIVERSITY OF CALIFORNIA, BERKELEY VANDERBILT UNIVERSITY UNIVERSITY OF MEMPHIS 1.3 Collaborators: PIETER ABBEEL (UC BERKELEY) NORIYASU ADACHI (TOYOTA TECHNICAL CENTER) ILKAY ALTINTAS (SDSC) AARON AMES (CALTECH) SAURABH AMIN (UC BERKELEY) HUGO A. ANDRADE (NATIONAL INSTRUMENTS) ANIL ASWANI (STANFORD UNIVERSITY)