Sciweavers

527 search results - page 31 / 106
» Case Study: System Model of Crane and Embedded Control
Sort
View
SAFECOMP
2009
Springer
15 years 4 months ago
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Fa
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
JUCS
2008
144views more  JUCS 2008»
14 years 9 months ago
Embedded Software Revitalization through Component Mining and Software Product Line Techniques
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
Marcelo A. Ramos, Rosângela Dellosso Pentead...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 2 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
14 years 11 months ago
Variance analysis for identification of cascade systems
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
Bo Wahlberg, Håkan Hjalmarsson, Jonas M&arin...
IJSEKE
2008
103views more  IJSEKE 2008»
14 years 9 months ago
A Modeling Methodology for Conflict Control in Multi-Agent Systems
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
Jiexin Lian, Sol M. Shatz