Sciweavers

1930 search results - page 77 / 386
» Decentralised Control of Complex Systems
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
VLSID
2005
IEEE
121views VLSI» more  VLSID 2005»
14 years 10 months ago
A Heuristic for Peak Power Constrained Design of Network-on-Chip (NoC) Based Multimode Systems
Designing NoC-based systems has become increasingly complex with support for multiple functionalities. Decisions regarding interconnections between the heterogeneous system compon...
Praveen Bhojwani, Rabi N. Mahapatra, Eun Jung Kim,...
FDL
2003
IEEE
14 years 3 months ago
Analog Circuit Modeling in SystemC
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
Massimo Conti, Marco Caldari, Simone Orcioni, Gior...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
14 years 1 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
ICIC
2005
Springer
14 years 3 months ago
A Nonlinear Adaptive Predictive Control Algorithm Based on OFS Model
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...
Haitao Zhang, Zonghai Chen, Ming Li, Wei Xiang, Ti...