The problem of gait planning for the quadruped search robot is described as an uncertainty discrete system. According to the basic gait elements of the quadruped search robot, the periodic gait of the robot is analyzed on the basis of gait timing diagram. The non-fragile control theory is proposed for gait planning control of quadruped search robot. A non-fragile reliable adaptive controller is...

The implementation phase of the software development process requires techniques for the transformation of a design speciication into software. Although timing analysis of real-time software has got much attention the implementation of design speciicati-ons is hardly addressed. In this paper we report on our work on deening mappings for design speciications of real-time distributed control syst...

The majority of embedded control systems are modeled with several chains of independently triggered tasks, also known as multi-rate effect chains. These chains have often stringent end-to-end timing requirements that should be satisfied before running the system. MECHAniSer is one of the tools that supports end-to-end timing analysis of such chains. In addition, the tool provides the possibilit...

Homogenous charge compression ignition (HCCI) combustion is spontaneous multi-site combustion of a nominally premixed air/fuel mixture that exhibits high rate of pressure rise and short combustion duration. To avoid excessive pressure rise rate and knocking, HCCI engines are fueled with highly diluted mixture using a combination of excess air and/or EGR. HCCI combustion is attractive due to ...

This paper describes an approach that has been developed over a number of years for the task of scheduling systems and providing evidence that the timing requirements are met. The approach has been targeted at the safetycritical systems domain, and more specifically the development of jet engine control systems. The work has resulted in a computational model that supports the reuse of legacy sy...