Formal verification and dynamic validation of logic-based control systems
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1998. === Includes bibliographical references (p. 249-257). === by Taeshin Park. === Ph.D.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
Massachusetts Institute of Technology
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/50358 |
| id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-50358 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-503582019-05-02T16:29:08Z Formal verification and dynamic validation of logic-based control systems Park, Taeshin, 1966- Paul I. Barton. Massachusetts Institute of Technology. Dept. of Chemical Engineering Chemical Engineering Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1998. Includes bibliographical references (p. 249-257). by Taeshin Park. Ph.D. 2010-01-07T20:30:40Z 2010-01-07T20:30:40Z 1998 1998 Thesis http://hdl.handle.net/1721.1/50358 39171404 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 257 p. application/pdf Massachusetts Institute of Technology |
| collection |
NDLTD |
| language |
English |
| format |
Others
|
| sources |
NDLTD |
| topic |
Chemical Engineering |
| spellingShingle |
Chemical Engineering Park, Taeshin, 1966- Formal verification and dynamic validation of logic-based control systems |
| description |
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1998. === Includes bibliographical references (p. 249-257). === by Taeshin Park. === Ph.D. |
| author2 |
Paul I. Barton. |
| author_facet |
Paul I. Barton. Park, Taeshin, 1966- |
| author |
Park, Taeshin, 1966- |
| author_sort |
Park, Taeshin, 1966- |
| title |
Formal verification and dynamic validation of logic-based control systems |
| title_short |
Formal verification and dynamic validation of logic-based control systems |
| title_full |
Formal verification and dynamic validation of logic-based control systems |
| title_fullStr |
Formal verification and dynamic validation of logic-based control systems |
| title_full_unstemmed |
Formal verification and dynamic validation of logic-based control systems |
| title_sort |
formal verification and dynamic validation of logic-based control systems |
| publisher |
Massachusetts Institute of Technology |
| publishDate |
2010 |
| url |
http://hdl.handle.net/1721.1/50358 |
| work_keys_str_mv |
AT parktaeshin1966 formalverificationanddynamicvalidationoflogicbasedcontrolsystems |
| _version_ |
1719041433764102144 |