Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Author： Banach Richard Zhu Huibiao Su Wen Huang Runlei

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.26, Iss.2, 2014-03, pp. : 319-366

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

A survey on non-linear gain scheduling design control for continuous and discrete time systems

By Charfeddine Samia

International Journal of Modelling, Identification and Control, Vol. 19, Iss. 3, 2013-07 ,pp. : 203-216

Inderscience Publishers

Access to resources Recommend Favorite

Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator

By Carmona Jean Claude Giambiasi Norbert Naamane Aziz

Journal of Intelligent and Robotic Systems, Vol. 41, Iss. 1, 2004-09 ,pp. : 37-64

Springer Publishing Company

Access to resources Recommend Favorite

On fluidization of discrete event models: observation and control of continuous Petri nets

By Silva Manuel

Discrete Event Dynamic Systems, Vol. 21, Iss. 4, 2011-12 ,pp. : 427-497

Springer Publishing Company

Access to resources Recommend Favorite

Positional solutions of Hamilton-Jacobi equations in control problems for discrete-continuous systems

By Dykhta V. Sorokin S.

Automation and Remote Control, Vol. 72, Iss. 6, 2011-06 ,pp. : 1184-1198

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Continuous action reinforcement learning automata and their application to adaptive digital filter design

By Howell M.N. Gordon T.J.

Engineering Applications of Artificial Intelligence, Vol. 14, Iss. 5, 2001-10 ,pp. : 549-561

Elsevier

Access to resources Recommend Favorite