Sciweavers

10797 search results - page 404 / 2160
» Robust control applications
Sort
View
NJC
2002
109views more  NJC 2002»
15 years 6 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
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...
238
Voted
CDC
2010
IEEE
131views Control Systems» more  CDC 2010»
14 years 10 months ago
State estimation of two-time scale multiple models with unmeasurable premise variables. Application to biological reactors
— 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...
Anca Maria Nagy-Kiss, Benoît Marx, Gilles Mo...
HYBRID
2009
Springer
16 years 1 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
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...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
16 years 1 months ago
Extension and application of a novel hardware-in-the-loop simulator design methodology
— 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...
IEEEARES
2008
IEEE
16 years 1 months ago
A Secure and Scalable Infrastructure for Inter-Organizational Data Exchange and eGovernment Applications
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...
Jan Willemson, Arne Ansper