Paper information

Paper code

IAC-18,D1,IP,10,x45514

Order

10

Room

IP Hall

Title

Verification of Attitude and Orbit Control System On-board Autonomy software using Model Checking

abstract

View PDF

Session

IP. Interactive Presentations - IAF SPACE SYSTEMS SYMPOSIUM

symposium

D1. IAF SPACE SYSTEMS SYMPOSIUM

congress

IAC-18

Type of presentation

interactive

Main author

Mr. Sudeesh Balan, ISRO Satellite Centre (ISAC), India

Co-authors

Mrs. Daffini Manoja J, U R RAO SATELLITE CENTRE (URSC), India;

Mrs. Deepika Jindal, U R RAO SATELLITE CENTRE (URSC), India;