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 Fri Feb 7 11:01:18 2025 UTC.