Guided controller synthesis for climate controller using UPPAAL TIGA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4763 LNCS, Issue , 2007, Pages 227-240

  Jessen, Jan J ^a   Rasmussen, Jacob I ^a   Larsen, Kim G ^a   David, Alexandre ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CLIMATE CONTROL; COMPUTER SIMULATION; MATHEMATICAL MODELS;

GUIDED CONTROLLER SYNTHESIS; TOOL CHAINS;

CONTROL EQUIPMENT;

EID: 38149044930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75454-1_17     Document Type: Conference Paper

References (12)

1. Arvanitis, K.G., Soldatos, A.G., Daskalov, P.I., Pasgianos, G.D., Sigrimis, N.A.: Nonlinear robust temperature-humidity control in livestock buidings. Submitted to Biosystems Engineering (2003)
2. Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, D., Lime, K.G.: Uppaal tiga: Time for playing games. In: proc. of Computer Aided Verification (CAV'07) (to appear, 2007)
3. Uppaal Tiga Homepage (2006), http://www.cs.aau.dk/~adavid/tiga
4. Janssens, K., Van Brecht, A., Zerihun Desta, T., Boonen, C., Berckmans, D.: Modeling the internal dynamics of energy and mass transfer in an imperfectly mixed ventilated airspace. Indoor Air 14, 146-153 (2004)
5. Jessen, J.J., Schiøler, H., Nielsen, J.F.D., Jensen, M.R.: Cots technologies for integrating development environment, remote monitoring and control of livestock stable climate. In: Proceedings 2006 IEEE International Conference on Systems, Man, and Cybernetics (2006)
6. Jessen, J.J.: Embedded Controller Design for Pig Stable Ventilation Systems. PhD thesis, Automation and Control, Department of Electronic Systems, Aalborg University (2007)
7. Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35, 349-370 (1999)
8. De Persis, C., Jessen, J.J., Izadi-Zamanabadi, R., Schioler, H.: A distributed control algorithm for internal flow management in a multi-zone climate unit. International Journal of Control. Accepted for publication (to appear)
9. De Persis, C., Jessen, J.J., Izadi-Zamanabadi, R., Schioler, H.: Internal flow management in a multi-zone climate control unit. In: Invited paper in the session Networked Control Systems 2006 CCA/CACSD/ISIC (2006)
10. SIMULINK (2007), http://www.mathworks.com/products/simulink/
11. Project Web (January 2007), http://www.cs.aau.dk/~illuiu/ automatic_control/
12. Real-Time Workshop (2007), http://www.mathworks.com/products/rtw/