Sciweavers

945 search results - page 85 / 189
» Evolving Symbolic Controllers
Sort
View
ICSE
1997
IEEE-ACM
15 years 8 months ago
Endeavors: A Process System Infrastructure
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. ...
SETP
2007
15 years 5 months ago
A Generic Software Architecture for a Domain Specific Distributed Embedded System
—In this paper, we have evolved a generic software architecture for a domain specific distributed embedded system. The system under consideration belongs to the Command, Control ...
G. Santhosh Kumar, K. Rameetha, K. Poulose Jacob
131
Voted
FUIN
2006
91views more  FUIN 2006»
15 years 4 months ago
P Systems with Proteins on Membranes
This work is a continuation of the investigations aiming to bridge membrane computing (where in a compartmental cell-like structure the chemicals to evolve are placed in the compar...
Andrei Paun, Bianca Popa
CDC
2008
IEEE
156views Control Systems» more  CDC 2008»
15 years 10 months ago
Diagnosability of hybrid automata with measurement uncertainty
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
ASE
2005
91views more  ASE 2005»
15 years 4 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...