This book gathers together a selection of papers presented at the Joint CTS-HYCON Workshop on Nonlinear and Hybrid Control held at the Paris Sorbonne, France, 10-12 July 2006. The main objective of the Workshop was to promote the exchange of ideas and experiences and reinforce scientific contacts in the large multidisciplinary area of the control of nonlinear and hybrid systems.
Design technology to address the new and vast problem of heterogeneous embedded systems design while remaining compatible with standard “More Moore” flows, i.e. capable of simultaneously handling both silicon complexity and system complexity, represents one of the most important challenges facing the semiconductor industry today and will be for several years to come. While the micro-electronics industry, over the years and with its spectacular and unique evolution, has built its own specific design methods to focus mainly on the management of complexity through the establishment of abstraction levels, the emergence of device heterogeneity requires new approaches enabling the satisfactory design of physically heterogeneous embedded systems for the widespread deployment of such systems. Heterogeneous Embedded Systems, compiled largely from a set of contributions from participants of past editions of the Winter School on Heterogeneous Embedded Systems Design Technology (FETCH), proposes a necessarily broad and holistic overview of design techniques used to tackle the various facets of heterogeneity in terms of technology and opportunities at the physical level, signal representations and different abstraction levels, architectures and components based on hardware and software, in all the main phases of design (modeling, validation with multiple models of computation, synthesis and optimization). It concentrates on the specific issues at the interfaces, and is divided into two main parts. The first part examines mainly theoretical issues and focuses on the modeling, validation and design techniques themselves. The second part illustrates the use of these methods in various design contexts at the forefront of new technology and architectural developments.
Additive manufacturing, which was first invented in France and then applied in the United States, is now 33 years old and represents a market of around 5 billion euros per year, with annual growth of between 20 and 30%. Today, additive manufacturing is experiencing a great amount of innovation in its processes, software, engineering and materials used. Its strength as a process has more recently allowed for the exploration of new niches, ranging from applications at nanometer and decameter scales, to others in mechanics and health. As a result, the limitations of the process have also begun to emerge, which include the quality of the tools, their cost of manufacture, the multi-material aspects, functionalities and surface conditions. Volume 2 of this series presents the current techniques, improvements and limits of additive manufacturing, providing an up-to-date review of this process.
The authors of this book provide the first review of haptic optical tweezers, a new technique which brings together force feedback teleoperation and optical tweezers. This technique allows users to explore the microworld by sensing and exerting piconewton-scale forces with trapped microspheres. The design of optical tweezers for high-quality haptic feedback is challenging, given the requirements for very high sensitivity and dynamic stability. The concept, design process and specification of optical tweezers reviewed throughout this book focus on those intended for haptic teleoperation. The authors provide two new specific designs as well as the current state of the art. Furthermore, the remaining important issues are identified for further developments. Haptic optical tweezers will soon become an invaluable tool for force feedback micromanipulation of biological samples and nano- and micro-assembly parts.
This volume of three books presents recent advances in modelling, planning and evaluating city logistics for sustainable and liveable cities based on the application of ICT (Information and Communication Technology) and ITS (Intelligent Transport Systems). It highlights modelling the behaviour of stakeholders who are involved in city logistics as well as planning and managing policy measures of city logistics including cooperative freight transport systems in public-private partnerships. Case studies of implementing and evaluating city logistics measures in terms of economic, social and environmental benefits from major cities around the world are also given.
This book introduces an original fractional calculus methodology (‘the infinite state approach’) which is applied to the modeling of fractional order differential equations (FDEs) and systems (FDSs). Its modeling is based on the frequency distributed fractional integrator, while the resulting model corresponds to an integer order and infinite dimension state space representation. This original modeling allows the theoretical concepts of integer order systems to be generalized to fractional systems, with a particular emphasis on a convolution formulation.
Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment. In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules…) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.
This volume of three books presents recent advances in modelling, planning and evaluating city logistics for sustainable and liveable cities based on the application of ICT (Information and Communication Technology) and ITS (Intelligent Transport Systems). It highlights modelling the behaviour of stakeholders who are involved in city logistics as well as planning and managing policy measures of city logistics including cooperative freight transport systems in public-private partnerships. Case studies of implementing and evaluating city logistics measures in terms of economic, social and environmental benefits from major cities around the world are also given.
The first part of the book defines the concept of uncertainties and the mathematical frameworks that will be used for uncertainty modeling. The application to system reliability assessment illustrates the concept. In the second part, evidential networks as a new tool to model uncertainty in reliability and risk analysis is proposed and described. Then it is applied on SIS performance assessment and in risk analysis of a heat sink. In the third part, Bayesian and evidential networks are used to deal with important measures evaluation in the context of uncertainties.
The development of mechatronic and multidomain technological systems requires the dynamic behavior to be simulated before detailed CAD geometry is available. This book presents the fundamental concepts of multiphysics modeling with lumped parameters. The approach adopted in this book, based on examples, is to start from the physical concepts, move on to the models and their numerical implementation, and finish with their analysis. With this practical problem-solving approach, the reader will gain a deep understanding of multiphysics modeling of mechatronic or technological systems – mixing mechanical power transmissions, electrical circuits, heat transfer devices and electromechanical or fluid power actuators. Most of the book's examples are made using Modelica platforms, but they can easily be implemented in other 0D/1D multidomain physical system simulation environments such as Amesim, Simulink/Simscape, VHDL-AMS and so on.
