Safety Monitoring for Autonomous Systems : Interactive Elicitation of Safety Rules Lola Masson

Total Page:16

File Type:pdf, Size:1020Kb

Safety Monitoring for Autonomous Systems : Interactive Elicitation of Safety Rules Lola Masson Safety monitoring for autonomous systems : interactive elicitation of safety rules Lola Masson To cite this version: Lola Masson. Safety monitoring for autonomous systems : interactive elicitation of safety rules. Per- formance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. NNT : 2019TOU30220. tel-02098246v2 HAL Id: tel-02098246 https://tel.archives-ouvertes.fr/tel-02098246v2 Submitted on 11 Sep 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THTHESEESE`` En vue de l’obtention du DOCTORAT DE L’UNIVERSITEF´ ED´ ERALE´ TOULOUSE MIDI-PYREN´ EES´ D´elivr´e par : l’Universit´eToulouse 3 Paul Sabatier (UT3 Paul Sabatier) Pr´esent´ee et soutenue le 21/02/2019 par : Lola MASSON SAFETY MONITORING FOR AUTONOMOUS SYSTEMS: INTERACTIVE ELICITATION OF SAFETY RULES JURY Simon COLLART-DUTILLEUL RD, IFSTTAR, France President of the Jury Elena TROUBITSYNA Ass. Prof., KTH, Sweden Reviewer Charles PECHEUR Prof., UCL, Belgium Reviewer Jean-Paul BLANQUART Eng., Airbus D&S, France Member of the Jury Hel´ ene` WAESELYNCK RD, LAAS-CNRS, France Supervisor Jer´ emie´ GUIOCHET MCF HDR, LAAS-CNRS, France Supervisor Ecole´ doctorale et sp´ecialit´e : EDSYS : Informatique 4200018 Unit´e de Recherche : Laboratoire d’analyse et d’architecture des syst`emes Acknowledgments This work has been done at the Laboratory for Analysis and Architecture of Systems, of the French National Center for Scientific Research (LAAS-CNRS). I wish to thank Jean Arlat and Liviu Nicu, the two successive directors of the laboratory, for welcoming me. During the three years of my PhD, I worked within the Dependable Computing and Fault Tolerance team (TSF), which is lead by Mohamed Kaˆaniche. I thank him for the excellent work environment he has built, allowing everyone to work however it is best for them. Our work focuses on autonomous systems, and the company Sterela provided us with a very interesting case study, the robot 4mob. I thank Augustin Desfosses and Marc Laval, from Sterela, who welcomed me in their offices and worked with us on this robot. In 2017, I was lucky enough to spend three months at KTH, Sweden, in the Mechatronics division. I thank Martin T¨orngren,who welcomed me in the lab, and with whom I appreciated meeting while walking in the forest around the campus. I also want to thank Sofia Cassel and Lars Svensson, with whom I had very enjoyable work sessions, as well as all the other PhD students and post-docs who made my stay a great both work and personal experience. I thank Elena Troubitsyna, from KTH, Sweden, and Charles Pecheur, from UCLouvain, Belgium, for reviewing this thesis. I also thank to Simon Collart-Dutilleul, from IFSTTAR, France, for presiding on my thesis jury. Of course, I don’t forget J´er´emieGuiochet and H´el`eneWaeselynck, from LAAS- CNRS, who supervised this work and accompanied me through the good times as well as the hard ones. Thanks also to Jean-Paul Blanquart from Airbus Defense and Space and to Kalou Cabrera, post-doc at LAAS at the time, for participating in the meetings and for their precious help and advice. The work days of the last three years would have been different if I were not among the PhD students and post-docs of the TSF team. Thanks to those I shared an office with, providing much-needed support on the hard days and sharing laughs on the good ones. Thank to all for the never-ending card games. Special thanks to Jonathan and Christophe for the memorable nights debating, and for their open-mindness. To all, it was a pleasure hanging out and sharing ideas and thoughts with you. Thanks to the one who is by my side every day, for his support in every circumstance. Thanks to my crew who has always been there, to my family and to all those who make me laugh and grow. Contents Introduction 13 1 Ensuring the Dependability of Autonomous Systems: A Focus on Mon- itoring 17 1.1 Concepts and Techniques for Safe Autonomous Systems . 18 1.1.1 Fault Prevention . 18 1.1.2 Fault Removal . 20 1.1.3 Fault Forecasting . 22 1.1.4 Fault Tolerance . 24 1.2 Monitoring Techniques . 26 1.2.1 Runtime Verification . 27 1.2.2 Reactive Monitors for Autonomous Systems . 29 1.3 SMOF: Concepts and Tooling . 32 1.3.1 SMOF Process Overview . 32 1.3.2 SMOF Concepts and Baseline . 33 1.3.3 Safety and Permissiveness Properties . 34 1.3.4 SMOF Tooling . 34 1.4 Conclusion . 35 2 Feedback from the Application of SMOF on Case Studies 37 2.1 Sterela Case Study . 38 2.1.1 System Overview . 38 2.1.2 Hazop-UML Analysis . 39 2.1.3 Modeling and Synthesis of Strategies for SI1, SI2 and SI3 ..... 44 2.1.4 Modeling and Synthesis of Strategies for SI4 ............. 51 2.1.5 Rules Consistency . 59 2.2 Feedback from Kuka Case Study . 61 2.2.1 System Overview . 61 2.2.2 SII: Arm Extension with Moving Platform . 61 2.2.3 SIII: Tilted Gripped Box . 64 2.3 Lessons Learned . 65 2.3.1 Encountered Problems . 65 2.3.2 Implemented Solutions . 68 2.4 Conclusion . 69 3 Identified Problems and Overview of the Contributions 71 3.1 Modeling of the Identified Problems . 72 3.1.1 Invariant and Strategy Models . 72 3.1.2 Properties . 73 6 Contents 3.1.3 Identified Problems . 73 3.2 Manual Solutions to the Identified Problems . 74 3.2.1 Change the Observations . 75 3.2.2 Change the Interventions . 75 3.2.3 Change the Safety Requirements . 76 3.2.4 Change the Permissiveness Requirements . 76 3.3 High Level View of the Contributions . 77 3.3.1 Diagnosis . 77 3.3.2 Tuning the Permissiveness . 78 3.3.3 Suggestion of Interventions . 80 3.4 Extension of SMOF Process and Modularity . 81 3.4.1 Typical Process . 81 3.4.2 Flexibility . 83 3.5 Conclusion . 83 4 Diagnosing the Permissiveness Deficiencies of a Strategy 85 4.1 Preliminaries - Readability of the Strategies . 86 4.1.1 Initial Display of the Strategies . 86 4.1.2 Simplifications with z3 . 87 4.2 Concepts and Definitions . 88 4.2.1 Strategies and Permissiveness Properties . 88 4.2.2 Problem: Safe & No perm. 89 4.2.3 Permissiveness Deficiencies of a Strategy . 91 4.3 Diagnosis Algorithm and Implementation . 93 4.3.1 Algorithm . 94 4.3.2 Simplification of the Diagnosis Results . 97 4.3.3 Implementation . 100 4.4 Application to Examples . 101 4.4.1 SII: The Arm Must Not Be Extended When The Platform Moves At A Speed Higher Than speedmax.................. 101 4.4.2 SI4: The Robot Must Not Collide With An Obstacle. 102 4.5 Conclusion . 104 5 Tuning the Permissiveness 105 5.1 Defining Custom Permissiveness Properties . 106 5.1.1 From Generic to Custom Permissiveness . 106 5.1.2 A Formal Model for the Functionalities . 107 5.1.3 Binding Together Invariants and Permissiveness . 108 5.2 Restricting Functionalities . 110 5.2.1 Diagnosing the Permissiveness Deficiencies with the Custom Prop- erties . 110 5.2.2 Weakening the Permissiveness Property . 111 5.2.3 Automatic Generation and Restriction of Permissiveness Properties112 5.3 Application on Examples . 113 Contents 7 5.3.1 SII: The Arm Must Not Be Extended When The Platform Moves At A Speed Higher Than speedmax.................. 113 5.3.2 SIII: A Gripped Box Must Not Be Tilted More Than α0...... 116 5.3.3 SI3: The Robot Must Not Enter A Prohibited Zone. 117 5.4 Conclusion . 118 6 Suggestion of Candidate Safety Interventions 121 6.1 Preconditions and Effects of Interventions . 121 6.2 Identifying Candidate Interventions . 123 6.2.1 Magical Interventions . 123 6.2.2 Generalize the Interventions Effects . 125 6.2.3 Interactive Review of the Interventions . 126 6.3 Algorithm . 128 6.4 Application to an Example . 133 6.5 Conclusion . 136 Conclusion 137 Contributions . 137 Limitations . 138 Perspectives . 139 List of Figures 1.1 Concept of supervisory control synthesis . 20 1.2 Monitors in a hierarchical architecture . 24 1.3 Typical process of runtime verification (adapted from [Falcone et al., 2013]) 27 1.4 SMOF process . 32 1.5 System state space from the perspective of the monitor . 33 2.1 Sterela robot measuring runway lamps . 39 2.2 HAZOP-UML overview . 39 2.3 UML Sequence Diagram for a light measurement mission . 41 2.4 Behavior for the invariant SI1.......................... 46 2.5 SI3 the robot must not enter a prohibited zone . 49 2.6 Expected strategy for SI3 ........................... 50 2.7 Disposition of the lasers on the robot . 52 2.8 Visual representation of the classes of (x,y) coordinates . 53 2.9 Obstacle occupation zones around the robot . 56 2.10 Declaration of the zones variables and their dependencies . 58 2.11 Merging partitions into a global variable . 60 2.12 Manipulator robot from Kuka . 61 2.13 Strategy for the invariant SII with the braking intervention only . 62 2.14 Strategy for the invariant SII with the two interventions . 63 2.15 Positions of the gripper and corresponding discrete values . 64 3.1 Identified problems, proposed solutions .
Recommended publications
  • Oversize Transport Guidebook Sweden
    Transport Exemptions - a Guidebook Exceptions (exemptions) for broad, long and heavy road transports Publication TRV 2011: Official website: www.transportoversize.eu Part-financed by the European Union Phone number: +370 46 390857 (European Regional Development Fund) Email address: [email protected] Title: Transport Exemptions (wide, long and heavy road transports) - a guide Publication number: 2011:057 Publication date: 01-04-2011 Publisher: Swedish Transport Administration Author: Thomas Holmstrand Cover photo: Thomas Holmstrand Layout cover: The studio, Swedish Transport Administration ISBN: 978-91-7467-121-6 Official website: www.transportoversize.eu Part-financed by the European Union Phone number: +370 46 390857 (European Regional Development Fund) Email address: [email protected] Foreword The Swedish Transport Administration is working with a strong customer perspective and through the effective exercise of its authority. This is the starting point for this guide. For the Swedish Transport Administration, it is important to have a community perspective in its actions regarding transport infrastructure and transport exemptions, and the disruption that these transports cause for other traffic and the service and maintenance of roads. The purpose of the guide is to support exemption authorities (municipalities and state road maintenance authorities), transport buyers, conveyors and others. In their areas of responsibility, the Swedish Transport Administration's regions shall process and make decisions on issues of transport exemptions in a uniform manner throughout the entire country. The guide refers in many cases to the Swedish Transport Administration's practices in different situations. This guide has been produced by the Swedish Transport Administration's transport exemptions unit, which processes and makes decisions on matters concerning transport exemptions within the Swedish Transport Administration on behalf of the regions.
    [Show full text]
  • An Investigation of the Possibility of Correlation Between Human Handedness and Differences In' Length of Arm and Leg Long Bones, with a Genetic Interpre­ Tation
    This dissertation has been 65—1183 microfilmed exactly as received HARTMAN, Donald George, 1909— AN INVESTIGATION OF THE POSSIBILITY OF CORRELATION BETWEEN HUMAN HANDEDNESS AND DIFFERENCES IN' LENGTH OF ARM AND LEG LONG BONES, WITH A GENETIC INTERPRE­ TATION. The Ohio State University, Ph.D., 1964 B otan y University Microfilms, Inc., Ann Arbor, Michigan AN INVESTIGATION OF THE POSSIBILITY OF CORRELATION BETWEEN HUMAN HANDEDNESS AND DIFFERENCES IN LENGTH OF ARM AND LEG LONG BONES, WITH A GENETIC INTERPRETATION DISSERTATION Presented In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University by Donald George Hartman, B. Sc., M. A. The Ohio State University 1964 Approved by A dviser Department of Botany and Plant Pathology acknowledgments I should like to express my appreciation to Dr. Elton Paddock, whose advice, criticism and encouragement have been of inestimable value in the preparation of this dissertation. Many college students have helped in giving the questionnaires and taking measurements, among idiom are Patricia Davis, Marjorie Jenkins, Ton Wilson and Leonard Levine. My wife, Charlotte, has helped immeasurably in the writing of the dissertation. ii CONTENTS CHAPTER PAGE I. THE PRGBU34............................................................................................... 1 I I . REVIEW OF THE LITERATURE.........................................................................5 Sociological Explanations ...............................................................
    [Show full text]
  • Acta Morphologica Zj Et Anthropologica
    ISSN 0861-0509 Acta morphologica zj et anthropologica 14» Sofia* 2009 Institute of Experimental Morphology and Anthropology with Museum Bulgarian Anatomical Society Contents Morphology D. Е. 11 z e v ,|K. G. U s u n o f f], J. G. Valtschanoff, R.W e i n b e r g - Parkin-Immunoreac- tivity in the Basal Ganglia and Diencephalon of the Rat. Comparison of Two Antibodies.............. 3 M. Jordanova, N. Miteva- Mgw Dependent Adenosine Triphosphatase in Rat Liver during Acclimation to Hyperthermic Environment - Histochemical Studies................................................ 10 Y. Martinova, N. Ivanova - Cigarette Smoke Carcinogen Benzo(a)pyrene (BP) Affects Mouse Oogenesis......................................................................................................................................................... 16 M. Mchedlishvili,U. Gabunia.M. Jangavadze.J. Gigiberia,N. Goish- v i 1 i - Age-Specific Features of Breast Cancer in Georgia (Immunohisotchemical Study).......... 23 I. Tavciovska-Vasileva.K. Rebok- Histological and Ultrastructural Structure of Testes of Salmonidae from Ohrid Lake in the Period of Regeneration............................................................ 29 В. A 1 e x i e v a , Tz. Markova, I. Chavdarov,Elena Nikolova - Diet Supplemented with Whey Protects Balb/c Mice from Indomethacin-Induced Gut Injury......................................... 36 R. Todorova.M. Dimitrova, I. Ivanov - Development of a Highly Selective Fluorogenic Histochemical Substrate for Dipeptidyl Peptidase II..............................................................................
    [Show full text]
  • Vals Cruzado
    Syllabus of Dance Descriptions STOCKTON FOLK DANCE CAMP – 2019 – FINAL 10/2019 In Memoriam Nelda Drury – 1918-2019 Nelda Drury nurtured the folk dance community in Texas, but her influence in the international folk dance community was felt throughout the United States. She was a dance specialist, her area of expertise being the dances of Mexico, and Central and South America. At the age of five, Nelda gave her first dance performance during a celebration in a small town in Texas. She grew up learning a wide variety of Mexican dances and later studied at the University of Mexico in Mexico City under the late Alura Flores de Angeles. Nelda did extensive research in Mexican, Central American, and South American dance. Her teaching took her throughout the United States, Mexico, the Orient, and Europe, presenting her seminars and Nelda Drury, circa 2014. displaying her dance form. She had a wealth of dance costumes that she collected on her round-the-world travels. She devoted her life to bringing folk dances from around the world to San Antonio specifically, and to Texas in general. She taught at folk dance camps and workshops all over the United States and, in turn, invited teachers she met doing so to teach at the yearly San Antonio Folk Dance Festival that she founded. Nelda taught at Stockton Folk Dance Camp in 1974. Ruth Levin Duree – 1942-2019 Ruth and her husband Richard Duree attended Stockton Folk Dance Camp for many years, most recently in 2014. Ruth met Richard in a Hungarian dance class he was teaching at Coastline College in 1989.
    [Show full text]
  • Annual Report 2003/2004
    Annual General Meeting in Stuttgart January 28, 2005 Interim Report 1st six months March 1, 2005 Financial Press Conference on 2004/05 fiscal year December 2005 Analyst Conference on 2004/05 fiscal year December 2005 Contact us at Dr.Ing.h.c. F.Porsche Aktiengesellschaft Porscheplatz 1 D-70435 Stuttgart Telephone: +49(0)711 911–0 Fax: +49(0)711 911–5777 http://www.porsche.com Financial Press and Investor Relations Telephone: +49(0)711 911–5869 Fax: +49(0)711 911–6375 Dr.Ing.h.c.F.Porsche Aktiengesellschaft This annual report is available in German and English. D-70432 Stuttgart Annual Report 2003 ⁄ 04 Porsche Group worldwide Porsche Group In case of doubt the german version is binding. Telephone: +49(0)711 911–0 Annual Report 2003 ⁄ 04 Highlights Porsche Group Annual General Meeting in Stuttgart January 28, 2005 Interim Report 1st six months March 1, 2005 Financial Press Conference on 2004/05 fiscal year December 2005 Analyst Conference on 2004/05 fiscal year December 2005 Contact us at Dr.Ing.h.c. F.Porsche Aktiengesellschaft Porscheplatz 1 D-70435 Stuttgart Telephone: +49(0)711 911–0 Fax: +49(0)711 911–5777 http://www.porsche.com Financial Press and Investor Relations Telephone: +49(0)711 911–5869 Fax: +49(0)711 911–6375 Dr.Ing.h.c.F.Porsche Aktiengesellschaft This annual report is available in German and English. D-70432 Stuttgart Annual Report 2003 ⁄ 04 Porsche Group worldwide Porsche Group In case of doubt the german version is binding. Telephone: +49(0)711 911–0 Annual Report 2003 ⁄ 04 Highlights Porsche Group Porsche Group Highlights Overview of the Porsche Group (Capital Investment) 1994 /95 1995/96 1996/97 1997/98 1998/99 1999/00 2000/01 2001/02 2002/03 2003/04 Dr.Ing.h.c.F.
    [Show full text]
  • 36Th International Medical Scientific Congress for Medical Students and Young Doctors
    36th International Medical Scientific Congress for Medical students and young Doctors IMSC Ohrid BOOK OF ABSTRACTS 2013 May 11th - 14th, 2013, Ohrid Republic of Macedonia EDITORS: Hristijan Kimoski Marina Srbinoska Maja Boshkovska Olgica Atanasova EDITORS IN CHIEF: Mirko Spiroski, MD, PhD Haris Babacic EDITORIAL BOARD: Beti Dejanova, MD, PhD Daniela Pop Gjorcheva, MD, PhD Aleksandar Petlichkovski, MD, PhD Sanja Manchevska, MD, PhD Dejan Trajkov, MD, PhD Ljubica Georgievska Ismail, MD, PhD Kostandina Korneti Pekevska, MD, PhD Daniela Miladinova, MD, PhD COVER DESIGN: Avdi Murtezani COPYRIGHT AND PUBLISHER: Macedonian Medical Students’ Association (MMSA), Skopje Scientific Club “Acad. Dr. Dimitar Arsov” Circulation: 300 CIP - Каталогизација во публикација Национална и универзитетска библиотека "Св. Климент Охридски", Скопје 616(062) (048.3) INTERNATIONAL medical scientific congress for medical students and young doctors (36 ; 2013 ; Ohrid) Book of abstracts: 2013 / 36th International medical scientific congress for medical students and young doctors, May 11th-14th, 2013, Ohrid, Republic of Macedonia; [editors in chief Mirko Spiroski, Haris Babacic]. - Skopje: Faculty of medicine, 2013. - 104 стр. ; 30 см ISBN 978-608-4596-45-5 а) Медицина - Собири - Апстракти COBISS.MK-ID 93858570 CONTENT: |Welcoming notes and preface .......................................................................................04 |Honorary and scientific board ........................................................................................08 |Organizing
    [Show full text]
  • A META-ANALYSIS 1 Running Head: HUMAN HANDEDNESS
    HUMAN HANDEDNESS: A META-ANALYSIS Running head: HUMAN HANDEDNESS: A META-ANALYSIS Human handedness: A meta-analysis Marietta Papadatou-Pastou1, Eleni Ntolka1, Judith Schmitz2, Maryanne Martin3, Marcus R. Munafò4,5, Sebastian Ocklenburg6*, Silvia Paracchini2* 1School of Education, National and Kapodistrian University of Athens, Greece 2School of Medicine, University of St Andrews, St. Andrews, UK 3Department of Experimental Psychology, University of Oxford, UK 4MRC Integrative Epidemiology Unit at the University of Bristol, UK 5School of Psychological Science, University of Bristol, UK 6Biopsychology, Department of Psychology, Institute of Cognitive Neuroscience, Ruhr University Bochum, Bochum, Germany Address for correspondence: Dr. Marietta Papadatou-Pastou, School of Education, National and Kapodistrian University of Athens, 13A Navarinou Str., Athens 160 80, Greece. Email: [email protected], Tel: +30 210 3641712 *Both authors contributed equally © 2020, American Psychological Association. This paper is not the copy of record and may not exactly replicate the final, authoritative version of the article. Please do not copy or cite without authors' permission. The final article is available via its DOI: 10.1037/bul0000229 1 HUMAN HANDEDNESS: A META-ANALYSIS Abstract Across time and place, right hand preference has been the norm, but what is the precise prevalence of left- and right-handedness? Frequency of left-handedness has shaped and underpinned different fields of research, from cognitive neuroscience to human
    [Show full text]
  • Papadatou-Pastou, M., Ntolka, E., Schmitz, J., Martin, M., Munafò, M. R., Ocklenburg, S., & Paracchini, S
    Papadatou-Pastou, M., Ntolka, E., Schmitz, J., Martin, M., Munafò, M. R., Ocklenburg, S., & Paracchini, S. (2020). Human handedness: A meta-analysis. Psychological Bulletin. https://doi.org/10.1037/bul0000229 Peer reviewed version Link to published version (if available): 10.1037/bul0000229 Link to publication record in Explore Bristol Research PDF-document This is the author accepted manuscript (AAM). The final published version (version of record) is available online via American Psychological Association at https://psycnet.apa.org/record/2020-23033-001?doi=1 . Please refer to any applicable terms of use of the publisher. University of Bristol - Explore Bristol Research General rights This document is made available in accordance with publisher policies. Please cite only the published version using the reference above. Full terms of use are available: http://www.bristol.ac.uk/red/research-policy/pure/user-guides/ebr-terms/ HUMAN HANDEDNESS: A META-ANALYSIS Running head: HUMAN HANDEDNESS: A META-ANALYSIS Human handedness: A meta-analysis Marietta Papadatou-Pastou1, Eleni Ntolka1, Judith Schmitz2, Maryanne Martin3, Marcus R. Munafò4,5, Sebastian Ocklenburg6*, Silvia Paracchini2* 1School of Education, National and Kapodistrian University of Athens, Greece 2School of Medicine, University of St Andrews, St. Andrews, UK 3Department of Experimental Psychology, University of Oxford, UK 4MRC Integrative Epidemiology Unit at the University of Bristol, UK 5School of Psychological Science, University of Bristol, UK 6Biopsychology, Department of Psychology, Institute of Cognitive Neuroscience, Ruhr University Bochum, Bochum, Germany Address for correspondence: Dr. Marietta Papadatou-Pastou, School of Education, National and Kapodistrian University of Athens, 13A Navarinou Str., Athens, Greece. Email: [email protected], Tel: +30 210 3641712 *Both authors contributed equally © 2020, American Psychological Association.
    [Show full text]
  • Letters to a Young Contrarian Christopher Hitchens
    Table of Contents T itle Page Dedication Preface Introduction I II III IV V VI VII VIII IX X XI XII XIII XIV XV XVI XVII XVIII ENV OI Copyright Page The Art of Mentoring from Basic Books Letters to a Young Lawyer Alan Dershowitz Letters to a Young Contrarian Christopher Hitchens Letters to a Young Golfer Bob Duval Letters to a Young Conservative Dinesh D’Souza Letters to a Young Activist Todd Gitlin Letters to a Young Therapist Mary Pipher Letters to a Young Chef Daniel Boulud Letters to a Young Gymnast Nadia Comaneci Letters to a Young Catholic George Weigel Letters to a Young Actor Robert Brustein Also by Christopher Hitchens Love, Poverty, and War: Journeys and Essays Blood, Class, and Empire: The Enduring Anglo-American Relationship A Long Short War: The Postponed Liberation of Iraq Why Orwell Matters Left Hooks, Right Crosses: A Decade of Political Writing Orwell’s Victory The Trial of Henry Kissinger Unacknowledged Legislation: Writers in the Public Sphere No One Left to Lie To: The Values of the Worst Family The Missionary Position: Mother Theresa in Theory and Practice For the Sake of Argument: Essays and Minority Reports The Monarchy Blood, Class, and Nostalgia: Anglo-American Ironies Prepared for the Worst: Selected Essays and Minority Reports Hostage to History: Cyprus from the Ottomans to Kissinger In memory of Peter Sedgwick Preface My dear X, Now that it’s time to launch this little paper boat onto the tide, I thought I would write you a closing letter by way of beginning. While the book has been with its editors and printers, I have been occupied on several other fronts, as you know.
    [Show full text]