30 search results - page 3 / 6 » isse 2010 |
130
Voted
SCL
2010
15 years 5 months ago
2010
153
Voted
ICINCO
2010
15 years 5 months ago
2010
179
Voted
SIAMCO
2010
15 years 5 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
206
Voted
ISSE
2010
15 years 2 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
192
Voted
ENTCS
2010
15 years 7 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...