In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
— Japan is known as an “earthquake country” and hence both companies and governments require an operation management method called BCM to ensure that operations and services ...
This paper studies the global synchronization problem of networked systems with bidirectional connections. We introduce a virtual node to produce the reference trajectory which wil...
—In this paper we study the overparametrization scheme for Hammerstein systems [1] in the presence of regularization. The quality of the convex approximation is analysed, that is...
Tillmann Falck, Johan A. K. Suykens, Johan Schouke...