Search Sciweavers | Sciweavers

11

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Interpreting the iISS small-gain theorem as transient plus ISS small-gain regulation

12 years 11 months ago

Download hal-supelec.archives-ouvertes.fr

This paper addresses the problem of establishing stability of interconnections of integral input-to-state stable (iISS) systems. Recently, the small-gain theorem for input-tostate ...

Hiroshi Ito, Randy A. Freeman, Antoine Chaillet

claim paper

Read More »

5

click to vote

ISSE
2010

119views Security Privacy» more ISSE 2010»

A first attempt to combine SysML requirements diagrams and B

13 years 3 months ago

Download www.artist-embedded.org

Régine Laleau, Farida Semmak, Abderrahman M...

claim paper

Read More »

12

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

13 years 3 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

17

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

13 years 3 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

11

click to vote

ISSE
2010

89views Security Privacy» more ISSE 2010»

Randomized constraint solvers: a comparative study

12 years 11 months ago

Download www.cin.ufpe.br

Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juli...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers