A metamodel for an Adaptive Control System
Keywords:
Adaptive Control, metamodels, OCL, UMLAbstract
In this paper a metamodel for an Adaptive Control System (ACS) is described. This metamodel was built employing USE, which is a UML-based specification environment. The main goal of the metamodel is to complement other models describing different views of an ACS. As the reader will notice, the metamodel is composed of a graphical and a mathematical model. Weak constraints are specified in the graphical model using a Unified Modeling Language (UML) class diagram, while strong constraints are defined in the mathematical model using the Object Constraint Language (OCL).References
R. Arthan, P. Caseley, C. O'Halloran and A. Smith (2000). ClawZ: Control laws in Z, Third IEEE International Conference on Formal Engineering Methods (ICFEM 2000), 2000. http://dx.doi.org/10.1109/ICFEM.2000.873817
R. Arthan, U. Martin, E. A. Mathiesen and P. Oliva (2007). Reasoning about linear systems, Proceedings of 5th IEEE International Conference on Software Engineering and Formal Methods SEFM, 2007.
K. J. Åström and R. M. Murray (2012). Feedback Systems: An Introduction for Scientists and Engineers, Version v2.11b, Princeton University Press.
S. Bensalem, P.Caspi, C.Parent-Vigouroux and C.Dumas (1999). A methodology for proving control systems with Lustre and PVS, 7th Working Conference on Dependable Computing for Critical Applications (DCCA7), San Jose, January 1999.
M. Fowler (2003). UML Distilled, Addison-Wesley, 3rd edition, 2003.
A. de Groot, J. Hooman (20000), Analyzing the Light Control System with PV, Journal of Universal Computer Science, vol. 6, no. 7.
W. S. Humphrey (2005). PSP : A Self-Improvement Process for Software Engineers, Addison-Wesley.
J. Jacky, J. Unger, M. Patrick, D. Reid and R. Risler (1997). Experience with Z developing a control program for a radiation therapy machine, Lecture Notes in Computer Science, 1212:317-328. http://dx.doi.org/10.1007/BFb0027295
P. Kruchten (2003). The Rational Unified Process: An Introduction, Addison-Wesley Professional, 3rd edition.
I. D. Landau and G. Zito (2006). Digital Control Systems: Design, Identification and Implementation, Springer.
A. Leva, C. Cox, and A. Ruano (2002). Hands-on PID autotuning: a guide to better utilization, IFAC Professional Briefs, 2002.
I. Navarro, K. Lundqvist, and N. Leveson (2001) An intent-specifications model for a robotic software control system, 20th Conference Digital Avionics Systems, 2001. DASC.
S. Panjaitan, G. Frey (2005), Functional Design for IEC 61499 Distributed Control Systems using UML Activity Diagrams. Proceedings ICICI 2005, Bandung, Indonesia, 64-70.
J. Rumbaugh, I. Jacobson, and G. Booch (2004). The Unified Modeling Language Reference Manual, Addison-Wesley Professional, 2nd edition.
I. Sommerville (2010). Software Engineering, Addison-Wesley, 9th edition.
K. C. Thramboulidis 92004), Using UML in Control and Automation: A Model Driven Approach, 2nd IEEE International Conference on Industrial Informatics INDIN'04, 24th-26th June, 2004, Berlin, Germany.
F. Valles-Barajas (2007), A requirements engineering process for control engineering software, Innovations in Systems and Software Engineering: A NASA Journal, 3(4):217-227.
F. Valles-Barajas and W. Schaufelberger (20080, Use of object-oriented languages in control engineering, Journal of Research in Computing Science, vol.36. 2008.
F. Valles-Barajas (2009), A SysML requirements model for the 1992 ACC robust control benchmark, Information Technology and Control, 38(3):245-251. 2009.
F. Valles-Barajas and W. Schaufelberger (2010), A proposal for the software design of control systems based on the personal software process, International Journal of Innovative Computing, Information and Control, 6(8):3451-3466. 2010.
F. Valles-Barajas (2010), A Novel Model for Adaptive Control Systems; A State Machine Approach, Int J Comput Commun,ISSN 1841-9836, 5(3):292-300. 2010.
F. Valles-Barajas (2011), A survey of high-level programming languages in control systems, The International Arab Journal of Information Technology, 8(2):178-187.
F. Valles-Barajas (2011), A survey of UML applications in mechatronic systems, Innovations in Systems and Software Engineering: A NASA Journal, 7(1):43-51.
B. Vogel-Heuser, D. Friedrich, U. Katzke and D. Witsch (2005), Usability and benefits of UML for plant automation some research results Engineering, vol. 3, no. 1.
B. Wittenmark, K. J. Åström, and K. E. Årzén. Computer control: An overview, IFAC Professional Briefs, 2002.
Published
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
