11215 search results - page 479 / 2243 » Skeleton - Easy Simulation System |
191
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
188
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
132
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Rainbow is an approach for engineering selfadaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system...
141
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This work presents two continuous time-varying control laws that globally uniformly asymptotically stabilize the origin of a vectorial generalization of the basic chainedform s...
195
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...