class Literature "Literature"
extends Modelica.Icons.References;
annotation (Documentation(info = "<html>\n\n<p>\n<em>This library is based on the following references:</em>\n<br>\n</p>\n<table border=\"0\" cellspacing=\"0\" cellpadding=\"2\">\n <tr>\n <td>[Astrom2008]</td>\n <td>K.J. Aström, B. Wittenmark,\n <em>Computer Controlled Systems: Theory and Design</em>,\n 3rd ed.: Prentice Hall, 1997.</td>\n </tr>\n <tr>\n <td>[Elmqvist2012]</td>\n <td>H. Elmqvist, M. Otter, S.E. Mattsson,\n \"Fundamentals of Synchronous Control in Modelica,\"\n In <em>Proceedings of 9th International Modelica Conference</em>,\n Munich, Germany, Sep. 3-5, 2012.\n <a href=\"https://www.doi.org/10.3384/ecp1207615\">DOI:10.3384/ecp1207615</a>.</td>\n </tr>\n <tr>\n <td>[Otter2012]</td>\n <td>M. Otter, B. Thiele, S.E. Mattsson,\n \"A Library for Synchronous Control Systems in Modelica,\"\n In <em>Proceedings of 9th International Modelica Conference</em>,\n Munich, Germany, Sep. 3-5, 2012.\n <a href=\"https://www.doi.org/10.3384/ecp1207627\">DOI:10.3384/ecp1207627</a>.</td>\n </tr>\n <tr>\n <td>[Walther2002]</td>\n <td>N. Walther,\n \"Praxisgerechte Modelica-Bibliothek für Abtastregler,\"\n Diplomarbeit, HTWK Leipzig, Fachbereich Elektro- und Informationstechnik,\n supervised by Prof. Müller (HWTK) and Prof. Martin Otter (DLR), 12 Nov. 2002.</td>\n </tr>\n</table>\n\n<p>\n<em>\nThe synchronous Modelica language elements allow for the first\ntime to utilize a continuous-time, nonlinear, inverse model in\na Modelica sampled-data system, by automatically discretizing\nthis model and providing it as a clocked partition. This allows\na convenient definition of certain nonlinear control systems,\nsee example\n<a href=\"modelica://Modelica.Clocked.Examples.Systems.ControlledMixingUnit\">Examples.Systems.ControlledMixingUnit</a>.\nSeveral practical details to use nonlinear inverse plant models in\na control system are discussed in the following reference:</em>\n<br>\n</p>\n\n<table border=\"0\" cellspacing=\"0\" cellpadding=\"2\">\n <tr>\n <td>[Looye2005]</td>\n <td>G. Looye, M. Thümmel, M. Kurze, M. Otter, and J. Bals,\n \"Nonlinear Inverse Models for Control\",\n In <em>Proceedings of 4th International Modelica Conference</em>,\n Hamburg, Germany, Mar. 7-8, 2005.\n <a href=\"https://www.modelica.org/events/Conference2005/online_proceedings/Session3/Session3c3.pdf\">Download</a>.</td>\n </tr>\n</table>\n\n<p>\n<em>\nThe synchronous Modelica language elements used in this library\nare based on the clock calculus and inference system proposed by [Colaco2003]\nand implemented in Lucid Synchrone version 2 and 3 [Pouzet2006].\nHowever, the Modelica approach also uses multi-rate periodic clocks based on\nrational arithmetic introduced by [Forget2008], as an extension of\nthe Lucid Synchrone semantics. These approaches belong to the class of\nsynchronous languages [Benveniste2003]:</em>\n<br>\n</p>\n\n<table border=\"0\" cellspacing=\"0\" cellpadding=\"2\">\n <tr>\n <td>[Benveniste2003]</td>\n <td>A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. Simone,\n \"The Synchronous Languages Twelve Years Later,\"\n In <em>Proceedings of the IEEE</em>,\n Vol., 91, No. 1, 2003.\n <a href=\"http://www.irisa.fr/distribcom/benveniste/pub/synch_ProcIEEE_2002.pdf\">Download</a>.</td>\n </tr>\n <tr>\n <td>[Colaco2003]</td>\n <td>J.-L. Colaco, and M. Pouzet,\n \"Clocks as First Class Abstract Types,\"\n In <em>Third International Conference on Embedded Software (EMSOFT'03)</em>,\n Philadelphia, Pennsylvania, USA, October 2003.\n <a href=\"http://www.di.ens.fr/~pouzet/lucid-synchrone/papers/emsoft03.ps.gz\">Download</a>.</td>\n </tr>\n <tr>\n <td>[Forget2008]</td>\n <td>J. Forget, F. Boniol, D. Lesens, C. Pagetti,\n \"A Multi-Periodic Synchronous Data-Flow Language,\"\n In <em>11th IEEE High Assurance Systems Engineering Symposium (HASE'08)</em>,\n pp. 251-260, Nanjing, China, Dec. 3-5, 2008.\n <a href=\"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=4708883&contentType=Conference+Publications\">Download</a>.</td>\n </tr>\n <tr>\n <td>[Pouzet2006]</td>\n <td>M. Pouzet,\n \"Lucid Synchrone, Version 3.0, Tutorial and Reference Manual\".\n <a href=\"http://www.di.ens.fr/~pouzet/lucid-synchrone/\">Download</a>.</td>\n </tr>\n</table>\n\n</html>"));
end Literature;