Search Results

In this paper, we present a project being conducted at Yalong Educational Equipment Company on control of educational robots using discrete event system theory. An educational robot is a programmable robot to be used by students for training and learning. To model a robot, we divide the robot into nine physical modules. Each module is modeled as an automaton. Parallel composition is used to obtain the entire model. The robot can be programmed to perform sequences of basic tasks. We investigate six basic tasks and use supervisors to control and achieve the tasks. Desired languages are obtained for all tasks and supervisory control theory is used to synthesize supervisors. To reduce computational complexity, modular/coordinated supervisors are used

Microprocessors and microcontrollers are now widely used in automobiles. Microprocessor systems contain sources of interrupt and interrupt service routines, which are software components executed in response to the assertion of an interrupt in hardware. A major problem in designing the software of microprocessor systems is the analytical treatment of interrupt latency. Because multiple interrupt service routines are executed on the same CPU, they compete for the CPU and interfere with each other's latency requirements. Here, interrupt latency is defined as the delay between the assertion of the interrupt in hardware and the start of execution of the associated interrupt service routine. It is estimated that 80% of intermittent bugs in small microprocessor software loads are due to improper treatment of interrupts. Until this work, there is no analytic method for analyzing a particular system to determine if it may violate interrupt latency requirements.