30 search results - page 3 / 6 » isse 2010 |
SCL
2010
14 years 9 months ago
2010
ICINCO
2010
14 years 8 months ago
2010
SIAMCO
2010
14 years 9 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...
102
click to vote
ISSE
2010
14 years 5 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
14 years 10 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...