Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 5 | 731--742
Tytuł artykułu

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

Warianty tytułu
Języki publikacji
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
Opis fizyczny
  • University of Manchester
  • Altreonic, Belgium
  • 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,
  • 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, 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,
  • 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,
  • 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.
Typ dokumentu
Identyfikator YADDA

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.