Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...