- 1.R. Alur, Th. A. Henzinger, and O. Kupferman. Alterhating-time temporal logic, in COMPOS 97- International Symposium on Compositionality, Kiel, Malente, September 1997. to appear also in FOCS 97.]] Google ScholarDigital Library
- 2.E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems, volume 999 of Lecture Notes in Computer Science, pages 1-20, 1995.]] Google ScholarDigital Library
- 3.Balemi et al. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040-1059, 1993.]]Google ScholarCross Ref
- 4.Mantled Broy and Stefan J~michen, editors. Korrekte Software dutch formale Methoden. Technische UniversitAt Berlin, Franklinstral3e 28--29, D-10587 Berlin, March 1993.]]Google Scholar
- 5.E.M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52-71, Berlin, 1981. Springer.]] Google ScholarDigital Library
- 6.Nicolas Halbwachs. Synchronous Programming Of Reactive Systems. Kluwer Academic Publishers, Dordrecht, Boston, London, 1993.]] Google ScholarDigital Library
- 7.Hoffmann and Wong-Toi. Symbolic synthesis of supervisory controllers. In Proceedings of the American Control Conference, pages 2789--2793, IL, June 1992.]]Google Scholar
- 8.Claus Lewerentz and Thomas Lindner, editors. Case Study "Production Cell", volume 1/94 of FZI-Publicat/ons. 1994.]]Google Scholar
- 9.Claus Lewerentz and Thomas Lindner, editors. Case Study "Production Cell": A Comparative Study in Formal Specification and Verification, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995.]] Google ScholarDigital Library
- 10.Annette Lrtzbeyer. Aufgabenstellung einer fehlertoleranten fertigungszelle, January 1996. http://www, fzi.de/ loetzbeyer, html.]]Google Scholar
- 11.O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. W. Mayr and C. Puech, editors, Proceedings STACS'95, volume 900 of Lecture Notes in Computer Science, pages 229-- 242. Springer-Verlag, 1995.]]Google Scholar
- 12.Zohar Manna and Pierre Wolper. Synthesis of communicating processes from temporal logic specifications. A CM Transactions on Programming Languages and Systems, 6(1):68-93, January 1984.]] Google ScholarDigital Library
- 13.P.J. Ramadge and W.M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1), January 1989.]]Google ScholarCross Ref
- 14.Thistle and Wonham. Supervision of infinite behaviour of discrete-event systems. SIAM Journal on Control and Optimization, 32(4):1098-1113, July 1994.]] Google ScholarDigital Library
- 15.Wolfgang Thomas. On the synthesis of strategies in infinite games. In 12th Annual Symposium on Theoretical Aspects of Computer Science, volume 900 of LNCS, pages 1-13, Munich, Germany, March 1995. Springer.]]Google ScholarCross Ref
- 16.Klaus Winkelmann. Verfahren zur automatischen Erzeugung einer Steuemng. German patent application no. GR 94E1475DE, May 17 1994.]]Google Scholar
Index Terms
- Controller synthesis for the “production cell” case study
Recommendations
Controller estimation for FPGA target architectures during high-level synthesis
ISSS '02: Proceedings of the 15th international symposium on System SynthesisIn existing synthesis systems, the influence of the area and delay of the controller is not or not sufficiently taken into account. But the controller can have a big influence, especially, if a certain data-path realization requires a huge number of ...
Verification of datapath and controller generation phase in high-level synthesis of digital circuits
A formal verification method of the datapath and controller generation phase of a high-level synthesis (HLS) process is described in this paper. The goal is achieved in two steps. In the first step, the datapath interconnection and the controller finite ...
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlThis paper deals with the synthesis of state-feedback controllers using approximately bisimilar abstractions with an emphasis on safety problems.
Such problems consist in synthesizing a controller that restricts the behaviors of a system so that its ...
Comments