laboratory.temporallogic.orglaboratorytemporallogicorg - Laboratory for Temporal Logic

Skip to content Home Research Publications People Blog Videos Resources Home Lab photo: inside the test section of the 80x120 foot wind tunnel at NASA Ames Research Center Installing R2U2 on the Swift UAS Seedling grant team: runtime system health management for the N-211 Hanger! Outreach: fun with the next generation NSF CPS PI Meeting Can we adapt R2U2 for Robonaut2? Exploring intelligent sensor fusion for cockpits Flight test: DragonEye UAS OpenUAS Project PhD positions available: apply here Postdoc position available: apply here -- Research Interests How can we reason about safety-critical systems, such as aircraft and spacecraft, to determine whether they behave safely ? How can we formalize system requirements and enable automated specification debugging? How can we reason about large spaces of possible designs from the early system design phase? How can we carry through formal verification to runtime, enabling autonomous operation via intelligent, on-board system health management? Read more Recent News R2U2 at Spacecraft Flight Software Workshop and NASA JPL! An Airspace Abundant with Automation Patrick Moosbrugger Wins 2016 Kapsch Award Rohit Dureja Presents Poster at FMCAD’16 Prof. Kristin Yvonne Rozier Wins NASA Early Career Faculty (ECF) Award Read more © Laboratory for Temporal Logic...