Formal Verification Applied to Spacecraft Attitude Control

Autor:	Panagiotis Tsiotras, Eric Feron, Kelsey P. Hawkins, Kendra Lang, Sean Phillips, Corbin Klett
Rok vydání:	2021
Předmět:	Computer science Control engineering Formal verification Spacecraft attitude control
Zdroj:	AIAA Scitech 2021 Forum.
DOI:	10.2514/6.2021-1126
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0c6081ba01aa1846bede7a190095835f https://doi.org/10.2514/6.2021-1126 Zobrazit plný text záznamu