Sciweavers

2595 search results - page 37 / 519
» Modes in Asynchronous Systems
Sort
View
137
Voted
IMAMCI
2008
69views more  IMAMCI 2008»
15 years 3 months ago
Gain reduction in switched sliding-mode control
: A switched sliding mode control strategy for a class of nonlinear uncertain systems is presented in this paper. It is characterized by an event
Antonella Ferrara, Riccardo Scattolini
LICS
1996
IEEE
15 years 8 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
ISLPED
2005
ACM
147views Hardware» more  ISLPED 2005»
15 years 9 months ago
System level power and performance modeling of GALS point-to-point communication interfaces
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
Koushik Niyogi, Diana Marculescu
CL
2010
Springer
15 years 4 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
CONCUR
2003
Springer
15 years 9 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...