Sciweavers

647 search results - page 74 / 130
» Simulating Failures on Large-Scale Systems
Sort
View
HICSS
2002
IEEE
84views Biometrics» more  HICSS 2002»
14 years 24 days ago
Examining Criticality of Blackouts in Power System Models with Cascading Events
As power system loading increases, larger blackouts due to cascading outages become more likely. We investigate a critical loading at which the average size of blackouts increases...
Ian Dobson, Jie Chen, Jim Thorp, Benjamin A. Carre...
AADEBUG
1997
Springer
14 years 17 hour ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo
FMOODS
2003
13 years 9 months ago
A Rewriting Based Model for Probabilistic Distributed Object Systems
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
Nirman Kumar, Koushik Sen, José Meseguer, G...
FTEDA
2006
113views more  FTEDA 2006»
13 years 7 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
IAAI
2011
12 years 7 months ago
Online Planning to Control a Packaging Infeed System
After successfully developing a model-based online planner for the multi-engine hyper-modular prototype printer at PARC, we began investigating other applications with similar cha...
Minh Binh Do, Lawrence Lee, Rong Zhou, Lara S. Cra...