Sciweavers

JCP
2008
126views more  JCP 2008»
13 years 11 months ago
Hardware/Software Co-design Approach for an ADALINE Based Adaptive Control System
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
Shouling He, Xuping Xu
AEI
2006
103views more  AEI 2006»
13 years 11 months ago
Emergent short-term forecasting through ant colony engineering in coordination and control systems
This manuscript presents a design for the emergent generation of short-term forecasts in multi-agent coordination and control systems. Food foraging behavior in ant colonies const...
Paul Valckenaers, Karuna Hadeli, Bart Saint Germai...
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
13 years 11 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
13 years 11 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic
ARC
2008
Springer
117views Hardware» more  ARC 2008»
13 years 11 months ago
Controlling across complex networks - Emerging links between networks and control
: This paper discusses the interplay between networks and control systems. As we gain more understanding about the structure and dynamics of physical networks, their effects on the...
A. Clauset, Herbert G. Tanner, Chaouki T. Abdallah...
HASE
2008
IEEE
13 years 11 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
HASE
2008
IEEE
13 years 11 months ago
Randomization Based Probabilistic Approach to Detect Trojan Circuits
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
Susmit Jha, Sumit Kumar Jha
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
13 years 11 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
CDC
2008
IEEE
217views Control Systems» more  CDC 2008»
13 years 11 months ago
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
Daniel B. Work, Olli-Pekka Tossavainen, Sebastien ...
CDC
2008
IEEE
145views Control Systems» more  CDC 2008»
13 years 11 months ago
Necessary and sufficient conditions for success of the nuclear norm heuristic for rank minimization
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...
Benjamin Recht, Weiyu Xu, Babak Hassibi