Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application

• Autorzy: Richard Banach , Pieter Van Schaik
• Języki publikacji: EN

Abstrakty

EN

Cyberphysical systems, with their interdependence between physical behaviour and digital control, need insights from frequency domain control engineering, state space control engineering and discrete formal systems theory for their proper description. Neglecting any of these, results in descriptions that omit essential details. Hybrid Event-B is a formalism that enables all the relevant detail to be assimilated. A case study based on yaw control for the KURT e-vehicle is used as a testbed to explore the effective interaction between the various needed disciplines in exploring a specific design issue, the formalisation of yaw control discretization, using Hybrid Event-B.(original abstract)

Słowa kluczowe

EN

Cybernetics; Physics

PL

Cybernetyka; Fizyka

• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2015
• Tom: 5
• Strony: 731--742

Twórcy

autor

Richard Banach

• University of Manchester

autor

Pieter Van Schaik

• Altreonic, Belgium

Bibliografia

• K. Ogata, Modern Control Engineering. Pearson, 2008.
• R. Dorf and R. Bishop, Modern Control Systems. Pearson, 2010.
• K. Dutton, S. Thompson, and B. Barraclough, The Art of Control Engineering. Addison Wesley, 1997.
• Modelica Homepage, https://www.modelica.org/.
• J. Van Leeuven, Handbook of Theoretical Computer Science, Vol. A and Vol. B. Elsevier, 1990.
• E. Sontag, Mathematical Control Theory. Springer, 1998.
• N. Ahmed, Dynamic Systems and Control With Applications. World Scientific, 2006.
• D. Hinrichsen and A. Pritchard, Mathematical Systems Theory I. Springer, 2005.
• R. Banach, M. Butler, S. Qin, N. Verma, and H. Zhu, "Core Hybrid Event-B I: Single Hybrid Event-B Machines," Sci. Comp. Prog., 2015, to appear.
• R. Banach, M. Butler, S. Qin, and H. Zhu, "Core Hybrid Event-B II: Multiple Cooperating Hybrid Event-B Machines," 2015, submitted.
• K. Kozłowski and D. Pazderski, "Modeling and Control of a 4-Wheel Skid-Steering Mobile Robot," Int. J. Appl. Match Comput. Sci., vol. 14, pp. 477-496, 2004.
• ControlsWiki, https://controls.engin.umich.edu/wiki/index.php/ PIDTuningClassical.
• K. Astrom and T. Hagglund, Advanced PID Control. ISA, 2006.
• K. Ogata, System Dynamics. Pearson, 2013.
• J. R. Abrial, Modeling in Event-B: System and Software Engineering. Cambridge University Press, 2010.
• P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2009.
• A. Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, 2010.
• L. Carloni, R. Passerone, A. Pinto, and A. Sangiovanni-Vincentelli, "Languages and Tools for Hybrid Systems Design," Foundations and Trends in Electronic Design Automation, vol. 1, pp. 1-193, 2006.
• S. Hallerstede and T. Hoang, "Refinement by Interface Instantiation," in Proc. ABZ-12, Derrick, Fitzgerald, Gnesi, Khurshid, Leuschel, Reeves, Riccobene, Ed., vol. 7316. Springer, LNCS, 2012, pp. 223-237.
• W. Walter, Ordinary Differential Equations. Springer, 1998.
• C. Chicone, Ordinary Differential Equations with Applications, 2nd ed. Springer, 2006.
• P. Antsaklis and A. Michel, Linear Systems. Birkhauser, 2006.
• Mathematica Homepage, http://www.wolfram.com.
• J. D'Azzo and C. Houpis, Linear Control System Analysis and Design: Conventional and Modern. McGraw Hill, 1995.
• G. Franklin, J. Powell, and M. Workman, Digital Control Systems. Prentice Hall, 1996.
• P. Paraskevopoulos, Digital Control Systems. Prentice Hall, 1996.
• E. Isaacson, Analysis of Numerical Methods. Dover, 2003.
• A. Iserles, A First Course in the Numerical Analysis of Differential Equations. Cambridge University Press, 1996.
• Wikipedia, "Cubic function."
• F. Olver, D. Lozier, R. Boisvert, and C. Clark, NIST Handbook of Mathematical Functions. Cambridge University Press, 2010.
• Wikipedia, "Sturm's theorem."
• B. Kuo, Digital Control Systems. Oxford University Press, 1992.
• R. Banach, M. Poppleton, C. Jeske, and S. Stepney, "Engineering and Theoretical Underpinnings of Retrenchment," Sci. Comp. Prog., vol. 67, pp. 301-329, 2007.
• R. Banach, C. Jeske, and M. Poppleton, "Composition Mechanisms for Retrenchment," J. Log. Alg. Prog., vol. 75, pp. 209-229, 2008.
• R. Banach and C. Jeske, "Retrenchment and Refinement Interworking: the Tower Theorems." Math. Struc. Comp. Sci., vol. 25, pp. 135-202, 2015.
• Retrenchment Homepage, http://www.cs.man.ac.uk/retrenchment.
• M. Fadali and A. Visioli, Digital Control Engineering: Analysis and Design. Academic Press, 2009.
• B. Widrow and I. Kollar, Quantization Noise. Cambridge University Press, 2008.
• R. Marks, Introduction to Shannon Sampling and Interpolation Theory. Springer, 1991.
• R. Pytlak, Numerical Methods for Optimal Control Problems with State Constraints, ser. Lecture Notes in Mathematics. Springer, 1999, vol. 1707.
• L. Grune, Asymptotic Behavior of Dynamical and Control Systems under Perturbation and Discretization. Springer, 2002.

Identyfikatory

DOI

10.15439/2015F132