This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical industries; in power electronics and the automotive industry, for example. This is due to their flexibility and simplicity in accurately controlling industrial mechanisms. By adopting appropriate control rules, we can steer a switching system to a region centered at a desired equilibrium point, while avoiding "unsafe" regions of parameter saturation.
The authors explain various correct-by-design methods for control synthesis, using different methods of stability and invariance analysis. They also provide several applications of these methods to industrial examples of power electronics. Contents 1. Control Theory: Basic Concepts.
2. Sampled Switched Systems.
3. Safety Controllers.
4. Stability Controllers.
5. Application to Multilevel Converters.
6. Other Issues: Reachability, Sensitivity, Robustness and Nonlinearity. About the Authors Laurent Fribourg is head of the LSV (Laboratoire Spécification et Vérification) and Scientific Coordinator of the Institut Farman, Institut Fédératif de Recherche CNRS, which brings together the expertise of five laboratories from ENS Cachan, in France, in the fields of modeling, simulation and validation of complex systems. He has published over 70 articles in international journals and reviewed proceedings of international conferences, in the domain of the theory of formal methods and their industrial applications.
Romain Soulat is in the third year of his doctorate at the LSV at ENS Cachan in France, under the supervision of Laurent Fribourg. He is working on the modeling and verification of hybrid systems. In particular, his interests concern robustness in scheduling problems - especially as part of a collaborative project with EADS Astrium on the verification of a component in the launcher for the future Ariane 6 rocket. He has published 5 articles in reviewed proceedings of international conferences.
This third volume in the Handbook of Food Science and Technology Set explains the processing of raw materials into traditional food (bread, wine, cheese, etc.). The agri-food industry has evolved in order to meet new market expectations of its products; with the use of separation and assembly technologies, food technologists and engineers now increasingly understand and control the preparation of a large diversity of ingredients using additional properties to move from the raw materials into new food products. Taking into account the fundamental basis and technological specificities of the main food sectors, throughout the three parts of this book, the authors investigate the biological and biochemical conversions and physicochemical treatment of food from animal sources, plant sources and food ingredients.
Dedicated to SiC-based 1D nanostructures, this book explains the properties and different growth methods of these nanostructures. It details carburization of silicon nanowires, a growth process for obtaining original Si-SiC core-shell nanowires and SiC nanotubes of high crystalline quality, thanks to the control of the siliconout-diffusion. The potential applications of these particular nano-objects is also discussed, with regards to their eventual integration in biology, energy and electronics.
This book is a source of basic and advanced knowledge in food science for students or professionals in the food science sector, but it is also accessible for people interested in the different aspects concerning raw material stabilisation and transformation in food products. It is an updated and translated version of the book "Science des aliments" published in 2006 by Lavoisier. "Science des aliments" is a general and introductory food science and technology handbook, based on the authors' Masters and PhD courses and research experiences. The book is concise, pedagogical and informative and contains numerous illustrations (approximately 500 original figures and tables). In three volumes), it summarizes the main knowledge required for working in food industries as scientists, technical managers or qualified operators. It will also be helpful for the formation of students in food science and biotechnologies (bachelor's and master's degree).
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.
The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.
Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation. Contents: 1. Parametric Timed Automata.
2. The Inverse Method for Parametric Timed Automata.
3. The Inverse Method in Practice: Application to Case Studies.
4. Behavioral Cartography of Timed Automata.
5. Parameter Synthesis for Hybrid Automata.
6. Application to the Robustness Analysis of Scheduling Problems.
7. Conclusion and Perspectives.
About the Authors Étienne André is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cité) in France. His current research interests focus on the verification of real-time systems.
Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.
This book serves as a general introduction to food science and technology, based on the academic courses presented by the authors as well as their personal research experiences. The authors' main focus is on the biological and physical-chemical stabilization of food, and the quality assessment control methods and normative aspects of the subsequent processes. Presented across three parts, the authors offer a detailed account of the scientific basis and technological knowledge needed to understand agro-food transformation. From biological analyses and process engineering, through to the development of food products and biochemical and microbiological changes, the different parts cover all aspects of the control of food quality.
This much-needed book describes the digital home networking environment, its techniques, and the challenges around its service architecture. It provides a broad introduction to state-of-the-art digital home standards and protocols, as well as in-depth coverage of service architectures for entertainment and domotic services involving digital home resources. Topics include networking, remote access, security, interoperability, scalability, and quality of service. Notably, the book describes the generic architecture that was proposed and developed in the context of the EUREKA/Celtic research project Feel@Home.
Piecewise-deterministic Markov processes form a class of stochastic models with a sizeable scope of applications: biology, insurance, neuroscience, networks, finance... Such processes are defined by a deterministic motion punctuated by random jumps at random times, and offer simple yet challenging models to study. Nevertheless, the issue of statistical estimation of the parameters ruling the jump mechanism is far from trivial. Responding to new developments in the field as well as to current research interests and needs, Statistical inference for piecewise-deterministic Markov processes offers a detailed and comprehensive survey of state-of-the-art results. It covers a wide range of general processes as well as applied models. The present book also dwells on statistics in the context of Markov chains, since piecewise-deterministic Markov processes are characterized by an embedded Markov chain corresponding to the position of the process right after the jumps.
The end of the post-war economic boom was marked by the recognition of the environmental problem with the oil crises of the 1970s and, in 1972, the first major UN conference devoted to the human environment. Successive international meetings have resulted in a context where technical change, innovation and industry have assumed a central place in the creation of a new model of society. Against this consensus, the author demonstrates from economic analysis and wide-ranging examples that the environmental innovation doctrine and ecodesign methods remain fragile and can lead to paradoxical results.