30 search results - page 3 / 6 » isse 2010 |
SCL
2010
13 years 3 months ago
2010
ICINCO
2010
13 years 3 months ago
2010
SIAMCO
2010
13 years 3 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...
ISSE
2010
12 years 12 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...
ENTCS
2010
13 years 5 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...