User Tools

Site Tools


cif:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
cif:start [Thursday, 07 March 2013 : 14:36:46]
vanbeek Added reference to CIF3 sebsite
cif:start [Monday, 17 October 2016 : 10:47:32] (current)
hvrooy
Line 3: Line 3:
 ==== New CIF 3 toolset available ==== ==== New CIF 3 toolset available ====
  
-//For all new developments,​ please use the CIF 3 toolset, available via the CIF 3 website at [[http://​cif.se.wtb.tue.nl]].//​+//For all new developments,​ please use the CIF 3 toolset, available via the CIF 3 website at [[http://​cif.mn.wtb.tue.nl]].//​
  
-==== Introduction ==== 
  
-In the European network of excellence [[http://​www.ist-hycon.org/​|HYCON]] in work package 3: Tool Integration,​ the Compositional Interchange Format (CIF) has been defined. The purpose of the Compositional Interchange Format is to establish inter-operability of a wide range of tools by means of model transformations to and from the CIF, as shown in the figure. Using the CIF as intermediate,​ the implementation of many bi-lateral translators between specific formalisms can be avoided. 
- 
- 
-{{ :​ciftransform.gif |Multiple model transformations using the CIF}} 
- 
- 
-/*The work within ​ WP3 of HYCON has been evaluated during the project reviews extremely positively. However, due to the limited resources available within HYCON, the realisation of transformations to and from the CIF had to be restricted to a few formalisms and so far mostly served the purpose of a test of the CIF and of a demonstration of its potential. In the [[http://​www.multiform.bci.tu-dortmund.de/​|Multiform]] project, the CIF is be used to achieve an integration of the most powerful tools that are available for the design of complex and networked control systems.*/ 
- 
-The figure below gives an overview of work on the CIF in different projects, showing each project in a different color. Work on the CIF in [[http://​www.ist-hycon.org/​|HYCON]] has been continued in the EU FP7 project [[http://​www.multiform.bci.tu-dortmund.de/​|Multiform]],​ where bidirectional transformations between the CIF and several languages/​tools are developed, and in [[http://​www.hycon2.eu/​|HYCON2]]. In the EU FP7 project [[http://​www.c4c-project.eu/​|C4C]],​ work on the CIF is mainly on compositional verification. /*, whereas in the EU ITEA2 [[http://​www.twins-itea.org/​|Twins]] project, the CIF is connected to tools for supervisory control synthesis */ The CIF is used in several industrial projects. Two examples, one from the [[http://​www.twins-itea.org/​|Twins]],​ and one from the [[http://​www.esi.nl/​frames.html?/​projects/​darwin/​home.asp|Darwin]] project, are presented in italics in the figure below. ​ 
- 
-{{ :​cif:​cifeu.png |Work on the CIF}} 
- 
-The application domain of the CIF consists of languages and tools from computer science and from dynamics and control for modelling, simulation, analysis, controller synthesis, and verification in the area of untimed, timed and hybrid systems. 
- 
- 
- 
-==== Example CIF model ==== 
- 
-The figure below shows a liquid storage tank with a volume controller ''​VC''​. The incoming flow ''​Qi''​ can be controlled by means of a valve ''​n''​. The outgoing flow is given by equation ''​Qo = sqrt(V)''​. The volume controller maintains the volume ''​V''​ of the liquid in the tank between ''​2''​ and ''​10''​. 
- 
-{{:​cif:​examples:​tank.png?​300|CIF Tank Controller}} 
- 
-The following is a specification of the controlled tank system in CIF 2: 
- 
-<code cif> 
-model TankController()= 
-|[ cont control real V = 10.0 
- ; var          real Qi, Qo 
- ; disc control nat n = 0 
-:: Tank : |( mode physics = initial 
-                     inv V' = Qi - Qo 
-                       , Qi = n * 5.0 
-                       , Qo = sqrt(V) 
-          )| 
-|| 
-   ​Controller : |( mode closed = initial 
-                                 (when V <= 2  now do n := 1) goto opened 
-                      , opened = (when V >= 10 now do n := 0) goto closed 
-                )| 
-]| 
-</​code>​ 
- 
-The following is a specification of the controlled tank system in CIF 1: 
- 
-<code cif> 
-model TankController() = 
-|[ extern var V: cont real = 10 
-            ; Qi, Qo: alg real 
-            ; n: disc nat = 0 
-:: |( mode physics = inv dot V = Qi - Qo 
-                       & ​   Qi = n * 5 
-                       & ​   Qo = sqrt(V) 
-   :: physics 
-   )| 
-|| 
-   |( mode closed = when V <= 2  now do n := 1 goto opened 
-         , opened = when V >= 10 now do n := 0 goto closed 
-   :: closed 
-   )| 
-]| 
-</​code>​ 
- 
-The CIF 1 simulator can be used to simulate both models and to produce the following figure: 
- 
-{{:​cif:​examples:​tank_plot.png?​400|Simulation results of CIF Tank Controller model}} 
- 
-==== Further info on the CIF ==== 
-  * [[:​cif:​general|General info on the CIF]] 
- 
- 
-==== Further info on CIF 2 ==== 
-  * CIF 2 developers and end-users should check out the [[http://​devel.se.wtb.tue.nl/​trac/​cif|CIF tooling project development website]]. 
-  * [[:​cif:​languages|Languages and tools that will be interfaced to the CIF]] 
- 
- 
-==== Further info on CIF 1 ==== 
-  * [[:​cif:​publications|Publications on the CIF]] 
-  * [[:​cif:​examples:​start|Example CIF models]] 
-  * [[:​cif:​tooling|Tooling for the CIF]] 
-  * [[:​cif:​installation|Installation]] 
-  * [[ethercat:​start|Real-time control using CIF and EtherCAT]] 
  
cif/start.1362663406.txt.gz · Last modified: Thursday, 07 March 2013 : 14:36:46 by vanbeek