Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems
From MaRDI portal
Publication:4647849
DOI10.1007/978-3-642-32759-9_22zbMath1372.68172OpenAlexW1606346370MaRDI QIDQ4647849
Taylor T. Johnson, Unnamed Author, Richard Scott Erwin, Rachel Dudley, Sayan Mitra
Publication date: 8 November 2012
Published in: FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_22
Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Uses Software