CaltechTHESIS
  A Caltech Library Service

Browse by Committee Member

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Degree Date (Year Only) | Authors | No Grouping
Jump to: 2019 | 2016 | 2014 | 2013 | 2011 | 2010
Number of items: 6.

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

2016

Livingston, Scott Carlton (2016) Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z94Q7RW3. https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787

2014

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

2013

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

2011

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

This list was generated on Sat Feb 4 11:01:37 2023 UTC.