ASM and Controller Synthesis

  • Richard Banach
  • Huibiao Zhu
  • Wen Su
  • Xiaofeng Wu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7316)


While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical implementation needs to separate controller from plant. We study the problem of when a monolithic ASM system can be split into controller and plant subsystems along syntactic lines derived from variables’ natural affiliations. We give restrictions that enable the split to be carried out cleanly, and we give conditions that ensure that the resulting pair of controller and plant subsystems have the same behaviours as the original design. We illustrate the theory with a case study concerning eating with chopsticks. This leads to an extension of controller synthesis for continuous ASM systems, which are briefly covered. The case study is then extended into the continuous sphere.


Mode Transition Domain Theory Controller Synthesis Tape Head Software Engineer Institute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Banach, R., Zhu, H., Su, W., Wu, X.: Continuous ASM, and a Pacemaker Sensing Fragment. In: Derrick, J., et al. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 65–78. Springer, Heidelberg (2012)Google Scholar
  2. 2.
    Börger, E., Stärk, R.: Abstract State Machines. A Method for High Level System Design and Analysis. Springer (2003)Google Scholar
  3. 3.
    Google search: Eating with chopsticksGoogle Scholar
  4. 4.
    Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer (2010)Google Scholar
  5. 5.
    Sztipanovits, J.: Model Integration and Cyber Physical Systems: A Semantics Perspective. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, p. 1. Springer, Heidelberg (2011), CrossRefGoogle Scholar
  6. 6.
    Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer (2009)Google Scholar
  7. 7.
    Willems, J.: Open Dynamical Systems: Their Aims and their Origins. Ruberti Lecture, Rome (2007),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Richard Banach
    • 1
  • Huibiao Zhu
    • 2
  • Wen Su
    • 2
  • Xiaofeng Wu
    • 2
  1. 1.School of Computer ScienceUniversity of ManchesterManchesterU.K.
  2. 2.Software Engineering InstituteEast China Normal UniversityShanghaiP.R. China

Personalised recommendations