{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[15,2,15,3],[16,2,16,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[43,2,43,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910869176103321"]
[null,null,"Autore",null,"Xiao Bing <1933->"]
[null,null,"Titolo",null,"Advanced Attitude Control of Satellite : A Modeling Error Compensation Approach / / by Bing Xiao, Zhaoyue Chen, Jingwen Xu, Lu Cao"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024"]
[null,null,"ISBN",null,"981-9728-47-9"]
[null,null,"Edizione",null,"[1st ed. 2024.]"]
[null,null,"Descrizione fisica",null,"1 online resource (273 pages)"]
[null,null,"Disciplina",null,"629.45"]
[null,null,"Soggetti",null,"Automatic control"]
[{"$nulls":4},"Robotics"]
[{"$nulls":4},"Automation"]
[{"$nulls":4},"Aerospace engineering"]
[{"$nulls":4},"Astronautics"]
[{"$nulls":4},"Control, Robotics, Automation"]
[{"$nulls":4},"Aerospace Technology and Astronautics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Part I Foundation -- Overview -- Preliminaries -- Part II Modeling Error Robust Compensation Attitude Control -- Observer-free Output Feedback Attitude Control -- Velocity-free Attitude Control with Actuator Constraint -- Velocity-free Attitude Fault-tolerant Control -- Part III Modeling Error Adaptive Compensation Attitude Control -- Adaptive Attitude Stabilization Control -- Fixed-time Optimal Attitude Control -- Faster Fixed-time Attitude Stabilization Control -- Part IV Observer-based Modeling Error Compensation Attitude Control -- Extended-state Observer-based Attitude Control -- Disturbance Observer-based Attitude Control -- Unknow Input Observer-based Attitude Control -- Conclusion."]
[null,null,null,"Sommario/riassunto","This book focuses on the high-accuracy attitude control system design and approaches for satellite with modeling error including system uncertainties, actuator faults, and disturbances. It presents a systematically and almost self-contained description of the many facets of envisaging, designing, implementing, or experimentally exploring modeling error compensation-based attitude control of satellites. The advanced treatment of practical issues in satellite attitude compensation control is one of the major features of the book, which is particularly suited for readers who are interested to learn the latest "]
[{"$nulls":4},"solutions in attitude control system design of satellites. The book intends to provide a unified platform for understanding and applicability of the modeling error compensation-based attitude control for different purposes in aerospace engineering and some related fields. It can benefit researchers, engineers, and graduate students in the fields of attitude control of satellites and other unmanned systems, aerospace engineering, etc."]
[null,"2.","Record Nr.",null,"UNINA9910886968003321"]
[null,null,"Titolo",null,"Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9783031711626"]
[{"$nulls":4},"3031711629"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 14933"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Microprogramming"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Programming Language"]
[{"$nulls":4},"Control Structures and Microprogramming"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Sommario/riassunto","This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. ."]