References

  1. J-R. Abrial (1996): The B-Book: Assigning Programs to Meanings. Cambridge University Press, doi:10.1017/CBO9780511624162.
  2. J-R. Abrial (2010): Modeling in Event-B: System and Software Engineering. Cambridge University Press.
  3. N. Ahmed (2006): Dynamic Systems and Control With Applications. World Scientific.
  4. R. Alur, C. Courcoubetis, T. Henzinger & P-H. Ho (1993): Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Proc. Workshop on Theory of Hybrid Systems, LNCS 736. Springer, pp. 209–229.
  5. R. Alur & D. Dill (1994): A Theory of Timed Automata. Theor. Comp. Sci. 126, pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  6. P. Antsaklis & A. Michel (2006): Linear Systems. Birkhauser.
  7. R. Banach: Model Based Refinement and the Design of Retrenchments.. Available from RET..
  8. R. Banach & C. Jeske: Retrenchment and Refinement Interworking: the Tower Theorems.. Submitted.
  9. R. Banach, C. Jeske & M. Poppleton (2008): Composition Mechanisms for Retrenchment. J. Log. Alg. Prog. 75, pp. 209–229, doi:10.1016/j.jlap.2007.11.001.
  10. R. Banach, M. Poppleton, C. Jeske & S. Stepney (2007): Engineering and Theoretical Underpinnings of Retrenchment. Sci. Comp. Prog. 67, pp. 301–329, doi:10.1016/j.scico.2007.04.002.
  11. S. Barnett (1975): Introduction to Mathematical Control Theory. Oxford University Press.
  12. E. Börger (2003): The ASM Refinement Method. F.A.C.J. 15, pp. 237–257.
  13. E. Börger & R.F. Stärk (2003): Abstract State Machines. A Method for High Level System Design and Analysis. Springer.
  14. F. Clarke (1987): Optimization and Nonsmooth Analysis. Society for Industrial Mathematics.
  15. F. Clarke, Y. Ledyaev, R. Stern & P. Wolenski (1997): Nonsmooth Analysis and Control Theory. Springer.
  16. J. Cohen & A. Slissenko (2008): Implementation of Timed Abstract State Machines with Instantaneous Actions by Machines with Delays. Technical Report TR-LACL-2008-2. LACL, University of Paris-12.
  17. J. Crow, S. Owre, J. Rushby, N. Shankar & M. Srivas (1995): A Tutorial Introduction to PVS. In: R. France, S. Gerhart & M. Larrondo-Petrie: WIFT'95: Workshop on Industrial-Strength Formal Specification Techniques. IEEE Computer Society Press.
  18. J. D'Azzo & C. Houpis (1995): Linear Control System Analysis and Design: Conventional and Modern. McGraw Hill.
  19. J Derrick & E Boiten (2001): Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer-Verlag UK, doi:10.1007/978-1-4471-0257-1.
  20. R. Dorf & R. Bishop (2010): Modern Control Systems. Pearson.
  21. B. Dutertre (1996): Elements of Mathematical Analysis in PVS. In: TPHOLS 1996, LNCS 1125. Springer.
  22. K. Dutton, S. Thompson & B. Barraclough (1997): The Art of Control Engineering. Addison Wesley.
  23. M. Fadali & A. Visioli (2009): Digital Control Engineering: Analysis and Design. Academic Press.
  24. G. Franklin, J. Powell & M. Workman (1996): Digital Control Systems. Prentice Hall.
  25. J. He (1994): From CSP to hybrid systems. In: A.W. Roscoe: A Classical Mind, Essays in Honour of C.A.R. Hoare. Prentice-Hall International, pp. 171–189.
  26. T. A. Henzinger (1996): The Theory of Hybrid Automata. In: Proc. IEEE LICS-96. IEEE, pp. 278–292. See also http://mtc.epfl.ch/ tah/Publications/the_theory_of_hybrid_automata.pdf.
  27. IEEE Standard 1474. IEEE Standard for Communications-Based Train Control (CBTC) Performance and Functional Requirements: IEEE Std 1474.1-2004; IEEE Standard for User Interface Requirements in Communications-Based Train Control (CBTC) Systems: IEEE Std 1474.2-2003; IEEE Recommended Practice for Communications-Based Train Control (CBTC) System Design and Functional Allocations: IEEE Std 1474.3-2008.
  28. C. Jeske (2005): Algebraic Integration of Retrenchment and Refinement. University of Manchester.
  29. B. Kuo (1992): Digital Control Systems. Oxford University Press.
  30. A. van Lamsweerde (2009): Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley.
  31. Letier, E. (2001): Reasoning about Agents in Goal-Oriented Requirements Engineering. Dépt. Ingénierie Informatique, Université Catholique de Louvain.
  32. K. Ogata (2008): Modern Control Engineering. Pearson.
  33. P. Paraskevopoulos (1996): Digital Control Systems. Prentice Hall.
  34. B Potter, J Sinclair & D Till (1996): An Introduction to Formal Specification and Z, 2nd. edition. Prentice Hall.
  35. PVS Homepage. http://pvs.csl.sri.com.
  36. Retrenchment Homepage. http://www.cs.man.ac.uk/retrenchment.
  37. W P de Roever & K Engelhardt (1998): Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press.
  38. E Sekerinski & K Sere (1998): Program Development by Refinement: Case Studies Using the B-Method. Springer.
  39. A. Slissenko & P. Vasilyev (2008): Simulation of Timed Abstract State Machines with Predicate Logic model Checking. J.U.C.S. 14, pp. 1984–2006.
  40. E. Sontag (1998): Mathematical Control Theory. Springer.
  41. W. Su, F. Yang, X. Wu, J. Gou & H. Zhu (2011): Formal Approaches to Mode Conversion and Positioning for Vehicle Systems. In: Proc. 3rd IEEE International Workshop on Security Aspects of Process and Services Engineering. To appear.
  42. P. Tabuada (2009): Verification and Control of Hybrid Systems: A Symbolic Approach. Springer.
  43. J Woodcock & J Davies (1996): Using Z, Specification, Refinement and Proof. Prentice Hall.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org