Sciweavers

5200 search results - page 85 / 1040
» Symbolic models for control systems
Sort
View
FROCOS
2007
Springer
14 years 3 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
FDL
2011
IEEE
12 years 8 months ago
Integrating system descriptions by clocked guarded actions
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandee...
NC
1998
140views Neural Networks» more  NC 1998»
13 years 10 months ago
Recurrent Neural Networks with Iterated Function Systems Dynamics
We suggest a recurrent neural network (RNN) model with a recurrent part corresponding to iterative function systems (IFS) introduced by Barnsley 1] as a fractal image compression ...
Peter Tiño, Georg Dorffner
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
13 years 10 months ago
Refined instrumental variable methods for identifying hammerstein models operating in closed loop
This article presents an instrumental variable method dedicated to non-linear Hammerstein systems operating in closed loop. The linear process is a Box
Vincent Laurain, Marion Gilson, Hugues Garnier
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
14 years 3 months ago
Stability of model predictive control based on reduced-order models
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
Svein Hovland, Christian Løvaas, Jan Tommy ...