H. Wong-Toi and G. Hoffmann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... Controller synthesis for discrete systems is well known in computer science (see, for example, the surveys in [15, 85] as well as in control theory (supervisory control of discrete event systems [102] The first extension toward hybrid systems appeared in the work of Wong Toi and Hoffmann [119], which can be characterized as indirect: they transform a timed automaton into a finite automaton (by using the finite partition of the state space, known as the region graph [5] Algorithm 13, presented in this chapter, is based on the direct algorithm suggested in [85, 16] for timed automata. ....

.... has been studied in the discrete event supervisory control framework by various authors (see [67, 76] and references from there) Since the continuous dynamics treated by these authors are non trivial, they look for approximating automata [90, 36] rather than exact finite state abstraction as in [119]. In [67] the problem of extracting a discrete event system from the continuous part of the system has been investigated. Once the DES has been extracted, discrete event supervision techniques can be applied to synthesize a controller. Part IV Implementation 163 Chapter 8 The Tool In this ....

H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. Technical report, Stanford University, 1992. Technical report STAN-CS-92-1411.

.... In parallel, there has been a growing importance of verification for real time systems, and this leads to the natural question of whether techniques developed in the untimed setting for the controller synthesis problem can be generalized to timed systems (see for example the papers [AMPS98,WTH91,DM02,FLM02]) In this framework, the timed system is usually given by a timed transition system (i.e. a timed automaton as defined by Alur and Dill [AD94] but without acceptance conditions) As in the untimed case, various proposals have been made and studied for the specification. For instance, in ....

....In this framework, the timed system is usually given by a timed transition system (i.e. a timed automaton as defined by Alur and Dill [AD94] but without acceptance conditions) As in the untimed case, various proposals have been made and studied for the specification. For instance, in [AMPS98,WTH91] the specification is given as an internal winning condition on the state space of the plant. External specifications given by timed automata [DM02] or by TCTL formulas [FLM02] have also been investigated. Note that since we deal here with classes of specifications which are not, in general, ....

[Article contains additional citation context not shown here]

H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. 30th Conf. Decision and Control, pages 1527--1528. IEEE Comp. Soc. Press, 1991.

....codesign of embedded systems [11] Previously, a large effort was directed towards synthesis of hard real time systems, especially in the application of formal methods. Synthesis was mainly carried out for communication protocols [19] plant controllers [4, 18, 5] and real time schedulers [25, 1] because they generally exhibited regular behaviors. Only recently has there been some work on automatically generating code for embedded systems [17, 16, 23, 26, 6] In the following, we will briefly survey the existing works on the synthesis of non real time software and controller synthesis, on ....

.... synthesis) was mainly performed in the discrete time domain, with a large portion of classical work done by Ramadge and Wonham [21, 22] Around 1994, when timed automata was proposed as a dense time model for real time systems [3] controller synthesis was extended to dense real time systems [4, 18, 25] as well as to hybrid systems [24] Recently, the same technique was further extended to multimedia scheduler synthesis [1] Given a dense real time system modeled by timed t3(2, 8) t2(1, 4) t( 2,3) l(q, 2) 2.fi 2 Pl P3 t3(5, 10) 23 t2(0, 5) P2 Figure 1. A Time Free Choice Petri Net ....

H. Wong-Toi and G. Hoffman. The control of dense real-time discrete event systems. Technical Report STAN-CS-92-1411, Stanford University, 1992.

.... of the French Indian project CEFIPRA n 2102 1 In parallel, there has been a growing importance of veri cation for real time systems, and this leads us to the natural question of whether one can apply tools developed in computer science to automated synthesis of controllers for timed systems [AMPS98,WH91,DM02,FLM02]. In this setting, the timed system is usually given by a timed transition system (i.e. a timed automaton as de ned by Alur and Dill [AD94] but without acceptance conditions) As in the untimed case, various proposals have been made and studied for the speci cation. For instance, in [AMPS98,WH91] ....

....In this setting, the timed system is usually given by a timed transition system (i.e. a timed automaton as de ned by Alur and Dill [AD94] but without acceptance conditions) As in the untimed case, various proposals have been made and studied for the speci cation. For instance, in [AMPS98,WH91], the speci cation is given as an internal winning condition on the state space of the plant. External speci cations given by timed automata [DM02] or by TCTL formulas [FLM02] have also been investigated. Note that since we deal here with sets of speci cations which are not, in general, closed ....

[Article contains additional citation context not shown here]

H. Wong-Toi and G. Homann. The control of dense real-time discrete event systems. In Proc. of 30th Conf. Decision and Control, pages 15271528, Brighton, UK, 1991.

....hardware software code sign. Previously, a large effort was directed towards hardware synthesis and comparatively little attention paid to software synthesis. Partial software synthesis was mainly carried out for communication protocols [24] plant controllers, 8,9,23] and real time schedulers [2,26] because they generally exhibited regular behaviors. Only recently has there been some work on automatically generating software code for embedded systems [10,21,22,25,27] As far as the authors know, no automatic software synthesis method is available for concurrent real time embedded soft ware. ....

H. Wong-Toi, G. Hoffman, The control of dense real-time discrete event systems. Technical report STAN-CS-921411, Stanford University, 1992.

No context found.

H. Wong-Toi and G. Hoffmann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.

No context found.

H. Wong-Toi and G. Ho#mann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC