The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
Monte Stuart MacDiarmid, Marko Bacic, Ronald Danie...
As more and more information becomes accessible via on-line databases, more public services can be provided and more complex queries involving several registers become feasible as...