This paper develops a method for deriving controllers for real-time systems in which the components of the system operate at different time granularities.
This paper develops a method for deriving controllers for real-time systems in which the components of the system operate at different time granularities.
The method of derivation builds on the verify-while-develop paradigm, where the action system code is developed side-by-side with its proof, and develops ...
Abstract. This paper develops a method for deriving controllers for real-time systems in which the components of the system operate at dif-.
This paper develops a method for deriving controllers for real-time systems in which the components of the system operate at different time granularities.
Brijesh Dongol , Ian J. Hayes : Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. MPC 2012: 102-131. manage site settings.
This paper presents methods to formally derive controllers from the system specifications, where the controllers periodically sample the environment and signal ...
Proceedings of the 11th international conference on Mathematics of ...
dl.acm.org › doi › proceedings
Jun 25, 2012 · This paper develops a method for deriving controllers for real-time systems in which the components of the system operate at different time ...
Deriving real-time action systems controllers from multiscale system specifications. Mathematics of Program Construction 11th International Conference, MPC ...
Hayes", title = "Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ... action, 7310(0)97, 7320(0)192, 7334(0)54; Controller ...