Sciweavers

2595 search results - page 37 / 519
» Modes in Asynchronous Systems
Sort
View
IMAMCI
2008
69views more  IMAMCI 2008»
15 years 6 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 10 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 11 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 6 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 11 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...