Specifying and verifying hybrid systems : a case study in a generic mine pump system | |
| Author | Khin Nyo Nu |
| Call Number | AIT Thesis no.CS-97-26 |
| Subject(s) | Real-time control Real-time programming |
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | A case study for specification and verification of real-time systems using Manna and Pnueli' s phase transition system is presented. The domain of the case study is a generic mine pump control system. We then implement the designed system in constraint logic programming. |
| Year | 1997 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan, Minh Dung |
| Examination Committee(s) | Huynh, Ngoc Phien;Bohez, Erik L.J. ; |
| Scholarship Donor(s) | Royal Thai Government; |
| Degree | Thesis (M.Eng.) - Asian Institue of Technology, 1997 |