2003 · 39 citations · 4 references
EngineeringComputer ScienceModel-based Systems EngineeringReal-time SystemsSystems ModelingAutomata TheoryDiscrete-event System ModelingReal-time ControlReal-time Systems ArchitectureReal-time Systems DesignDiscrete-event ModelingDiscrete-event SystemsReal-time System ModelsReal-time Systems ModelingState Machine DesignState Machine ModelsTimed AutomataTimed Finite State Machines
A discrete-event process is modeled as a controlled state machine, in the framework of D.J. Ramadge and W.M. Wohman (1986). Their approach is extended to model a class of real-time discrete-event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for decreasing the real-time behavior of processes, controllers, and real-time specifications.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
4