We consider distributed parameter systems where the underlying dynamics are spatially invariant, and where the controls and measurements are spatially distributed. These systems arise in many applications such as the control of platoons, smart structures, or distributed ow control through the uid boundary. For optimal control problems involving quadratic criteria such as LQR, H2 and H1, it is s...

This paper proposed a method for assembly sequence planning for modular product. Community structure were used in assembly sequence. Firstly, GN Algorithm was employed to detecting the module of product, Secondly candidate sets of disassembly sequence can be generated according to the module partition evolution process and priority rules, Lastly, the optimization of disassembly sequence could b...

The techniques and the technologies supporting Automatic Vehicle Guidance are an important issue. Automobile manufacturers view automatic driving as a very interesting product with motivating key features which allow improvement of the safety of the car, reducing emission or fuel consumption or optimizing driver comfort during long journeys. Car racing is an active research field where new adva...

The personal transportation choices that people make will have a drastic impact on air quality. What the commute with and how they environment. pollutants an additional human life as these particulate matter cause respiratory diseases elevated risk of cancer. To improve this dire situation, several steps been adopted by automobile companies worldwide over past 20 years. emission fuel consumptio...

This article presents SAMOVAR (Systems Analysis of Modelling and Validation of Renault Automobiles) SAMOVAR is a tool for capitalising knowledge in the field of automobile and is based on the development and exploitation of corporate memory. It is based on several ontologies which structure knowledge and it uses the search mechanisms of CORESE (Conceptual Resource Search Engine) to exploit such...

Abstract Reducing the level of pollutant emissions internal combustion engines requires adaptation solutions that improve process in cylinder but those may increase their constructive complexity. For this reason, use hydrogen is an effective solution, both for replacing fossil fuels and reducing concentration emissions. The as additional fuel automotive spark ignition offers possibility obtaini...

In this paper we report on the work we performed to extend the logic model checker SPIN with builtin support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic t...

The system on chip paradigm consists of one or more instruction set processors integrated with custom hardware on a single integrated circuit. A uni-processor real-time kernel is presented that integrates hardware coprocessors by viewing them as system resources to be scheduled in conjunction with the processor. The kernel implements the earliest-deadline first scheduling policy. To demonstrate...

A scheme for explicit ly representing and using expert knowledge of a procedural k ind is described. The scheme al­ lows the explicit representation of both declarative and proce­ dural knowledge wi th in a unified framework, yet retains all the desirable properties of expert systems such as modular i ty , ex­ planatory capabil i ty, and extendabil i ty. It thus bridges the gap between the proc...

This paper provides a review of recently obtained spectroscopic results, ab-initio calculations and catalytic activity tests from the authors ́ laboratory of factors affecting the performance of materials used as automobile catalysts. Issues addressed include the preparation of (Ce,Zr)Ox/Al2O3 (CZA) mixed oxide supports and the use of new active metals, such as Pd and Cu, for three-way catalysts...