*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
John Matthew Brewer
(Advisor: Dr. Panagiotis Tsiotras]
will propose a doctoral thesis entitled,
Planning for Satellite Actuator Failure: A Falsification Approach Towards Certification of Contingency Controllers
On
Friday, September 24th at 9:00 a.m.
https://teams.microsoft.com/l/meetup-join/19%3Ameeting_NTUzMjg3OTMtZjZkOC00ZmZkLWFkNGQtZDk1OTgxNjc1ZWJj%40thread.v2/0?context=%7B%22Tid%22%3A%22482198bb-ae7b-4b25-8b7a-6d7f32faa083%22%2C%22Oid%22%3A%22acc188d9-36d9-4e9d-b0ff-ae33f5cf2811%22%2C%22MessageId%22%3A%220%22%7D
Abstract
Today, more satellites are being launched at a rate never seen before. This is due, in part, to the miniaturization of technology and the increasing reliance on smaller satellites which are cheaper to build, launch, and replace compared to the large monolithic satellites of the past. However, these small satellites still possess strikingly high failure rates that are often the result of design issues, the lack of testing, and uncertainties in hardware components. As satellites grow in complexity, incorporate more features, and are built at a faster rate, the ability to design and test successful systems becomes ever more difficult.
This thesis aims to present a falsification approach to the automated verification and validation approach to satellite systems. Specifically, we seek to address how a technique like this can be used to test and validate contingency plan controllers designed to rescue a satellite in the event an actuator failure occurs. These contingency control schemes are complicated implementations which not only require unique controllers capable of stabilizing a satellite who has lost controllability, but they must also perform identification of the failure that has occurred and invoke the switching needed from the primary control approach to one appropriate in handling the failure experienced by the satellite. Verifying these types of complex control structures by hand is difficult to say the least, so the development and demonstration of automated frameworks capable of doing this would not only be a valuable contribution as a tool, but may also lead to a significant reduction in the seemingly normal high failure rate of satellites seen in the space community over the past 20 years.
Committee
