Hybrid Systems: Computation and Control [[electronic resource] ] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / / edited by Freek Wiedijk, Oded Maler, Amir Pnueli

• Record Nr.: UNISA996465505303316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• ISBN: 3-540-36580-X
• Edizione: [1st ed. 2003.]
• Descrizione fisica: 1 online resource (XII, 564 p.)
• Collana: Lecture Notes in Computer Science, , 0302-9743 ; ; 2623
• Disciplina: 004.1/9
• Soggetti: Computers; Special purpose computers; Microprocessors; Software engineering; Computer logic; Theory of Computation; Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Computation by Abstract Devices; Logics and Meanings of Programs
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Abstracts of Invited Presentations -- The Mathematics of Matter and the Mathematics of Mind -- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal -- Developing Home Robotics Products: Challenges and Lessons Learned -- Regular Contributions -- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction -- Reachability Analysis of Nonlinear Systems Using Conservative Approximation -- Mode Reconstruction for Source Coding and Multi-modal Control -- Hybrid Control Design for a Wheeled Mobile Robot -- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems -- Hybrid Control of an Automotive Robotized ; Gearbox for Reduction of Consumptions and Emissions -- A Greedy Approach to Identification of Piecewise Affine Models -- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems -- Reachability Questions in Piecewise Deterministic Markov Processes -- Automatic Verification of a Turbogas Control System with the Mur? Verifier -- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System -- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators -- Conditions of Optimal Classification for Piecewise Affine Regression -- Approximate Stabilisation of Uncertain Hybrid Systems -- Efficient Mode Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata -- Modelling, Well-Posedness, and Stability of Switched Electrical Networks -- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach -- On Systematic Simulation of Open Continuous Systems -- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods -- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions -- On the Causality of Mixed-Signal and Hybrid Models -- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata -- Multi-object Adaptive Cruise Control -- Universality and Language Inclusion for Open and Closed Timed Automata -- On the Application of Hybrid Control to CPU Reservations -- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback -- Qualitative Heterogeneous Control of Higher Order Systems -- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems -- Hybrid Modelling and Control of Power Electronics -- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules -- Efficient Representation and Computation of Reachable Sets for Hybrid Systems -- Model Checking LTL over Controllable Linear Systems Is Decidable -- Approximate Reachability for Linear Systems -- Observability of Linear Hybrid Systems -- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.
• Sommario/riassunto: This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

European Literatures of Military Occupation : : Shared Experience, Shifting Boundaries, and Aesthetic Affections

• Record Nr.: UNINA9910863201203321
• Autore: Buschmeier Matthias
• Pubbl/distr/stampa: [S.l.] : , : LEUVEN UNIVERSITY PRESS, , 2024; ©2024
• ISBN: 9789461665546; 9461665547
• Descrizione fisica: 1 online resource
• Collana: Book collections on Project MUSE ; ; 49
• Disciplina: 341.66
• Soggetti: Military occupation; Military occupation in literature; Anthologies
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Acknowledgments European Literatures of Military Occupation: An Introduction to the Topic and Terminology of the Genre Matthias BuschmeierPART 1 LITERATURE AND THE WORLD: OCCUPATION AS A EUROPEAN EXPERIENCEIntroduction to Part 1 Jeanne E. GlesenerChapter 1. SCARS. Writing on Occupation: The Reality Effect of Narrative and Psychogeographical Space, or The Case of Wil Jeroen OlyslaegersChapter 2. Affective Realism: The Literature of Occupation through Regions and Ages − Vercors' Le Silence de la mer (1942), Willem Frederik Hermans' De donkere kamer van Damokles (1958), and Cătălin Mihuleac's America de peste pogrom (2014) Matthias BuschmeierPART 2 CULTURAL SPACES OF OCCUPATIONIntroduction to Part 2 Jeanne E. GlesenerChapter 3. Military Occupation as Tourism? Griechenland. Ein Buch aus dem Kriege (1942) and Ölberge, Weinberge (1953) by Erhart Kästner Christopher MeidChapter 4. Banished from an Occupied Exile: Rudolf Borchardt's Anabasis Fragment (1944) Jan AndresChapter 5. German Writers as Occupiers and Occupied: Franco-German Representations in the Works of Felix Hartlaub (1940-1941) and Tami Oelfken (1945-1955) Stefanie SiessChapter 6. Literary Representations of Occupied Cities: Tbilisi, Paris, and Luxembourg ; Atinati MamatsashviliChapter 7. Semantics of Occupation(s) in Pierre Grégoire's Europäische Suite Trilogy: Catholicism, Anticommunism, and the Idea of Luxembourgish Exceptionalism Daniela LiebPART 3 WRITING UNDER/AGAINST OCCUPATION: STRATEGIES OF RESISTANCE AND PROPAGANDAIntroduction to Part 3 Jeanne E. GlesenerChapter 8. Setting the Stage for an Immediate Historicization? Early Sense-Making of the Allied Occupation of Italy between Fictionalized Accounts, War Novels, and Propaganda (1943-1947) Stefan LaffinChapter 9. Literature from Below: Literary Competitions in Serbia (1941-1945) and in the Protectorate of Bohemia and Moravia (1939-1945) Aleksandar MomčilovićChapter 10. Translating Occupied Poland into English, 1939-1955 Joanna RzepaChapter 11. How to Handle the New Occupiers? Margret Boveri's Amerikafibel für erwachsene Deutsche: Ein Versuch, Unverstandenes zu erklären (1946) Sandra SchellPART 4 REMEMBERING OCCUPATIONIntroduction to Part 4 Jeanne E. GlesenerChapter 12. "It was over. Düsseldorf was dead"-Narratives of a Renewed Occupation Klaus-Michael BogdalChapter 13. Reflections on Twentieth-Century Military Occupations in Latvian and Estonian Novels Benedikts KalnačsChapter 14. Occupied by Comrades? The Concealed Story of the Soviet Military Presence in Mecklenburg and Western Pomerania after 1945 in Uwe Johnson's Jahrestage (1970-1983) Meinolf SchumacherList of Contributors.
• Sommario/riassunto: Occupation literature: a new perspective on European identities What does it mean to live under occupation? How does it shape the culture and identities of European nations? How does it affect the way we write and read literature? These are fundamental questions that set the stage for an in-depth exploration. Focusing on the literary works of writers from various European countries that were occupied by Nazi Germany, the Soviet Union or the Allies during and after World War II, the contributions in this edited volume seek to unravel the complex interplay between historical circumstances and literary expression. Centered on the concept of occupation literature as a genre in its own right, differentiating it from 'war literature', the book navigates this subtle distinction, drawing connections with the Holocaust novel and extending the timeframe beyond Nazi occupation. European Literatures of Military Occupation argues that the multifaceted experiences of occupation have played a pivotal role in shaping European identities. Moreover, the volume links European identities to the experience of occupation by unveiling the complex and diverse ways in which writers respond to historical and political circumstances. Introducing the concept of 'affective realism' and exploring its intersection with the occupation novel, the book provides nuanced insights into the intricate relationship between history, identity, and literature. It combines theoretical perspectives relevant to researchers in the humanities with detailed case studies, generating a truly interdisciplinary perspective, enriched by a strong transnational dimension, creating a cohesive narrative that intervenes innovatively in the fields of literary, cultural, and historical criticism. Ebook available in Open Access. This publication is GPRC-labeled (Guaranteed Peer-Reviewed Content).