Browse by Committee Member

2024

Badithela, Apurva Srinivas (2024) Test and Evaluation of Autonomous Systems: Reactive Test Synthesis and Task-Relevant Evaluation of Perception. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/e8qz-rd26. https://resolver.caltech.edu/CaltechTHESIS:06022024-014038700

2023

Akella, Prithvi (2023) Reliable Controller Synthesis: Guarantees for Safety-Critical System Testing and Verification. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/jej3-4444. https://resolver.caltech.edu/CaltechTHESIS:06122023-162907795

2021

Cai, Karena Xin (2021) Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/w3m8-es32. https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217

Phan-Minh, Tung (2021) Contract-Based Design: Theories and Applications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/8vp7-kd82. https://resolver.caltech.edu/CaltechTHESIS:01132021-065636010

2020

Dathathri, Sumanth (2020) Scalable Synthesis and Verification: Towards Reliable Autonomy. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4j39-v857. https://resolver.caltech.edu/CaltechTHESIS:04292020-165136662

2019

Filippidis, Ioannis (2019) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9Q52MTD. https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471

2018

Ren, Xiaoqi (2018) Optimizing Resource Management in Cloud Analytics Services. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/K62Y-FV39. https://resolver.caltech.edu/CaltechTHESIS:05312018-080301508

2016

Cai, Wuhan Desmond (2016) Electricity Markets for the Smart Grid: Networks, Timescales, and Integration with Control. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9BG2KZG. https://resolver.caltech.edu/CaltechTHESIS:05262016-112813537

Peng, Qiuyu (2016) Distributed Control and Optimization for Communication and Power Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z99C6VBW. https://resolver.caltech.edu/CaltechTHESIS:01262016-194420781

2015

Asimakopoulos, Aristotelis (2015) Macroscopically Dissipative Systems with Underlying Microscopic Dynamics : Properties and Limits of Measurement. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9V40S4N. https://resolver.caltech.edu/CaltechTHESIS:09082014-135331211

Gan, Lingwen (2015) Distributed Load Control in Multiphase Radial Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9FQ9TJ0. https://resolver.caltech.edu/CaltechTHESIS:01272015-214848277

2014

Bose, Subhonmesh (2014) An Integrated Design Approach to Power Systems: From Power Flows to Electricity Markets. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/FRGW-AF26. https://resolver.caltech.edu/CaltechTHESIS:06012014-040224456

Cheng, Ming Hei (2014) New Applications that Come from Extending Seismic Networks into Buildings. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/STB2-XR07. https://resolver.caltech.edu/CaltechTHESIS:03182014-225151551

Faulkner, Matthew Nicholas (2014) Community Sense and Response Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/QFM5-FH06. https://resolver.caltech.edu/CaltechTHESIS:04152014-111007328

Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/VB1N-Y042. https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153

Liu, Zhenhua (2014) Sustainable IT and IT for Sustainability. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/296T-HR79. https://resolver.caltech.edu/CaltechTHESIS:05312014-215801543

Olson, Michael James (2014) Cloud Computing Services for Seismic Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5D60-FG88. https://resolver.caltech.edu/CaltechTHESIS:08242013-182604077

Wolff, Eric McKenzie (2014) Control of Dynamical Systems with Temporal Logic Specifications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/TGFR-SS39. https://resolver.caltech.edu/CaltechTHESIS:02172014-121159358

2013

DeLorimier, Michael John (2013) GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/M3TW-7Y53. https://resolver.caltech.edu/CaltechTHESIS:08192012-145253489

Gopalakrishnan, Ragavendran (2013) Characterizing Distribution Rules for Cost Sharing Games. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/AWE2-H976. https://resolver.caltech.edu/CaltechTHESIS:06032013-104204451

Lin, Minghong (2013) Algorithmic Challenges in Green Data Centers. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/NRXJ-JB76. https://resolver.caltech.edu/CaltechTHESIS:05312013-223354639

Liu, Annie Hsin-Wen (2013) Sensor Networks for Geospatial Event Detection - Theory and Applications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/MZWJ-T222. https://resolver.caltech.edu/CaltechTHESIS:06062013-224746692

Sojoudi, Somayeh (2013) Mathematical Study of Complex Networks: Brain, Internet, and Power Grid. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/E750-2M74. https://resolver.caltech.edu/CaltechTHESIS:05252013-081655550

Xu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/QDJN-BB72. https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337

2012

Bakshi, Mayank (2012) Network Coding and Distributed Compression over Large Networks: Some Basic Principles. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/GWDW-5H78. https://resolver.caltech.edu/CaltechTHESIS:06082012-122324439

Nair, Jayakrishnan U. (2012) Scheduling for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/AAXJ-EX10. https://resolver.caltech.edu/CaltechTHESIS:06012012-134536732

2011

Lavaei, Javad (2011) Large-Scale Complex Systems: From Antenna Circuits to Power Grids. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/CM46-5R54. https://resolver.caltech.edu/CaltechTHESIS:05132011-113642762

Pilotto, Concetta (2011) Systematic Design and Formal Verification of Multi-Agent Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SCQF-VP66. https://resolver.caltech.edu/CaltechTHESIS:05232011-013046516

White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/8FRW-ZF17. https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546

2010

Wongpiromsarn, Tichakorn (2010) Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/XZ3X-7V51. https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667

2009

Braman, Julia Marie Badger (2009) Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/3H42-BF56. https://resolver.caltech.edu/CaltechETD:etd-05292009-111937

Capponi, Agostino (2009) Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/7XV3-9Q45. https://resolver.caltech.edu/CaltechETD:etd-05272009-141742

Kalyanaraman, Shankar (2009) Limited Randomness in Games, and Computational Perspectives in Revealed Preference. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/KH85-HJ73. https://resolver.caltech.edu/CaltechETD:etd-06042009-233839

Shi, Ling (2009) Resource Optimization for Networked Estimator with Guaranteed Estimation Quality. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/DTCJ-BN07. https://resolver.caltech.edu/CaltechETD:etd-08272008-121822

2008

Epstein, Michael Steven (2008) Managing Information in Networked and Multi-Agent Control Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/84NT-9N46. https://resolver.caltech.edu/CaltechETD:etd-12192007-153619

Jang, Wonjin (2008) Soft-Error Tolerant Quasi Delay-insensitive Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ZVFF-WE07. https://resolver.caltech.edu/CaltechETD:etd-11092007-180524

Prakash, Piyush (2008) Throughput Optimization of Quasi Delay Insensitive Circuits via Slack Matching. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9HMY-RR92. https://resolver.caltech.edu/CaltechETD:etd-05262008-234258

2007

Liu, Xin (2007) Robustness, Complexity, Validation and Risk. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/JZX4-QN41. https://resolver.caltech.edu/CaltechETD:etd-05272007-214755

Martinez Estrada, Alfredo (2007) A Treatise on Econometric Forecasting. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/WXN5-9A47. https://resolver.caltech.edu/CaltechETD:etd-05222007-101946

Mehyar, Mortada (2007) Distributed Averaging and Efficient File Sharing on Peer-to-Peer Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Q9EV-S167. https://resolver.caltech.edu/CaltechETD:etd-01102007-010550

Wei, Xiaoliang (David) (2007) Microscopic Behavior of Internet Congestion Control. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/W5E3-9N04. https://resolver.caltech.edu/CaltechETD:etd-05292007-223200

2006

Papadantonakis, Karl Spyros (2006) Rigorous Analog Verification of Asynchronous Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4R8F-WF03. https://resolver.caltech.edu/CaltechETD:etd-01132006-152609

Tang, Ao (Kevin) (2006) Heterogeneous Congestion Control Protocols. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/eh43-pa83. https://resolver.caltech.edu/CaltechETD:etd-05242006-170918

Wang, Jiantao (2006) A Theoretical Study of Internet Congestion Control: Equilibrium and Dynamics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4DQ0-GA49. https://resolver.caltech.edu/CaltechETD:etd-11122005-082753

Țăpuș, Cristian (2006) Distributed Speculations: Providing Fault-Tolerance and Improving Performance. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/YZCK-4T29. https://resolver.caltech.edu/CaltechETD:etd-06022006-140421

2005

Prajna, Stephen (2005) Optimization-Based Methods for Nonlinear and Hybrid Systems Verification. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/S3BJ-4M47. https://resolver.caltech.edu/CaltechETD:etd-05272005-144358

2004

Jiang, Anxiao (Andrew) (2004) Optimized Network Data Storage and Topology Control. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/91R7-MH71. https://resolver.caltech.edu/CaltechETD:etd-05272004-163315

Wong, Catherine Grace (2004) High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5N2N-0W58. https://resolver.caltech.edu/CaltechTHESIS:11192009-161338958

2003

Mauch, Sean Patrick (2003) Efficient Algorithms for Solving Static Hamilton-Jacobi Equations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5R5P-Y603. https://resolver.caltech.edu/CaltechETD:etd-05202003-170423

2002

Ginis, Roman (2002) Automating Resource Management for Distributed Business Processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9GXT-BD03. https://resolver.caltech.edu/CaltechETD:etd-11012005-093745

Kiniry, Joseph Roland (2002) Kind Theory. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/TVTD-E826. https://resolver.caltech.edu/CaltechETD:etd-06062002-164914

Zimmerman, Daniel Marc (2002) Dynamic UNITY. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/AC6E-WE21. https://resolver.caltech.edu/CaltechETD:etd-12072001-160019

2001

Schooler, Eve Meryl (2001) Why multicast protocols (don't) scale: an analysis of multipoint algorithms for scalable group communication. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/44QZ-R465. https://resolver.caltech.edu/CaltechETD:etd-08272001-155016

2000

Parrilo, Pablo A. (2000) Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/2K6Y-CH43. https://resolver.caltech.edu/CaltechETD:etd-05062004-055516

Zhu, Xiaoyun (2000) Hard vs. soft bounds in probablilistic robustness analysis and generalized source coding and optimal web layout design. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/1f3r-va82. https://resolver.caltech.edu/CaltechETD:etd-05042006-131410

1999

Manohar, Rajit (1999) The impact of asynchrony on computer architecture. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/xzwa-p598. https://resolver.caltech.edu/CaltechETD:etd-08112005-114144

Primbs, James A. (1999) Nonlinear optimal control: a receding horizon appoach. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/4AD2-0T48. https://resolver.caltech.edu/CaltechETD:etd-10172005-103315

Xu, Lihao (1999) Highly available distributed storage systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/EQK9-8C84. https://resolver.caltech.edu/CaltechETD:etd-05162005-084223

1998

Heirich, Alan Bryant (1998) Analysis of scalable algorithms for dynamic load balancing and mapping with application to photo-realistic rendering. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ZVYW-H876. https://resolver.caltech.edu/CaltechETD:etd-01232008-111520

Massingill, Berna Linda (1998) A structured approach to parallel programming. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/5ma9-h225. https://resolver.caltech.edu/CaltechETD:etd-01242008-074143

Rieffel, Marc A. (1998) Performance modeling for concurrent particle simulations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/sx57-5d89. https://resolver.caltech.edu/CaltechETD:etd-01242008-132610

Sivilotti, Paolo A. G. (1998) A method for the specification, composition, and testing of distributed object systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/z89g-gm27. https://resolver.caltech.edu/CaltechETD:etd-01252008-095244

Watts, Jerrell R. (1998) Dynamic load balancing and granularity control on heterogeneous and hybrid architectures. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/gvgq-3d11. https://resolver.caltech.edu/CaltechETD:etd-02072008-075916

1997

Cheng, Jung-Fu (1997) Iterative decoding. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ydj9-zq05. https://resolver.caltech.edu/CaltechETD:etd-01092008-082210

Maskit, Daniel (1997) Software register synchronization for super-scalar processors with partitioned register files. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/tyap-ea69. https://resolver.caltech.edu/CaltechETD:etd-01102008-153402

1996

Dabdub, Donald (1996) Mathematical modeling of air pollution dynamics by parallel computation. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/k1ap-np35. https://resolver.caltech.edu/CaltechETD:etd-12132007-083330

Thornley, John William (1996) A parallel programming model with sequential semantics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/mytw-er77. https://resolver.caltech.edu/CaltechETD:etd-01042008-085720

1995

Hofstee, H. Peter (1995) Synchronizing processes. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/G620-GG65. https://resolver.caltech.edu/CaltechETD:etd-10112007-083903

Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ehzs-y537. https://resolver.caltech.edu/CaltechETD:etd-10172007-090528

Leino, K. Rustan M. (1995) Toward reliable modular programs. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/ynt2-nn65. https://resolver.caltech.edu/CaltechETD:etd-10162007-111256

Van der Goot, Marcel Rene (1995) Semantics of VLSI synthesis. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/SR5V-KT18. https://resolver.caltech.edu/CaltechETD:etd-10162007-093427

1994

Seizovic, Jakov N. (1994) The architecture and programming of a fine-grain multicomputer. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/53vc-hs15. https://resolver.caltech.edu/CaltechETD:etd-12072007-131639

1993

Mouchtaris, Petros N. (1993) Analysis of an interactive video architecture. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/A9Z4-N267. https://resolver.caltech.edu/CaltechETD:etd-02022005-162907

1992

Barzel, Ronen (1992) A structured approach to physically-based modeling for computer graphics. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/tbgd-g285. https://resolver.caltech.edu/CaltechTHESIS:09282011-075406850

Steele, Craig S. (1992) Affinity : a concurrent programming system for multicomputers. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/syrm-sx30. https://resolver.caltech.edu/CaltechETD:etd-08152007-074128

1991

Burns, Steven Morgan (1991) Performance analysis and optimization of asynchronous circuits. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/kez1-7q52. https://resolver.caltech.edu/CaltechETD:etd-07092007-072640

Gupta, Rajiv (1991) Compiler Optimization of Data Storage. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/E8DD-VG68. https://resolver.caltech.edu/CaltechETD:etd-06272007-081805

1990

Su, Wen-King (1990) Reactive-Process Programming and Distributed Discrete-Event Simulation. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/9qzd-kv20. https://resolver.caltech.edu/CaltechTHESIS:03222012-091423469

1989

Ngai, John Yee-Keung (1989) A Framework for Adaptive Routing in Multicomputer Networks. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/a01h-0z81. https://resolver.caltech.edu/CaltechETD:etd-02132007-153533