Requirements specification using the cube tool methodology

Requirements specification using the cube tool methodology

Cover title. "To appear in Proc. 1989 Symposium on C2 research, National Defense University, Washington, D.C., June, 1989."

Bibliographic Details
Other Authors:	Perdu, Didier Marie-Joseph.
Language:	eng
Published:	Laboratory for Information and Decision Systems, Massachusetts Institute of Technology] 2003
Subjects:	TK7855.M41 E3845 no.1890
Online Access:	http://hdl.handle.net/1721.1/3145

Similar Items

Multivariable control of a submersible using the LQG/LTR design methodology
Published: (2003)

Design methodology for command and control organizations
Published: (2003)

Multi-variable control of the GE T700 engine using the LQG/LTR design methodology
Published: (2003)

Multivariable control of a twin lift helicopter system using the LQG/LTR design methodology
Published: (2003)

A methodology for designing robust nonlinear control systems
Published: (2003)

A multiresolution methodology for signal-level fusion and data assimilation with applications to remote sensing
Published: (2003)

The specification and verification of systolic wave algorithms
Published: (2002)

Modeling electrocardiograms using interacting Markov chains
Published: (2003)

Hierarchical reconstruction using geometry and sinogram restoration
Published: (2003)

On the generation of organizational architectures using Petri nets
Published: (2003)

Fractal estimation using models on multiscale trees
Published: (2003)

Calculation of transmission zeros using QZ techniques
Published: (2002)

On the use of random numbers in asynchronous simulation via rollback
Published: (2003)

Active learning using arbitrary binary valued queries
Published: (2003)

Approximating optimal state feedback using neural networks
Published: (2003)

An expert system model using predicate transition nets
Published: (2003)

Tracking maneuvering targets using H-[infinity] filters
Published: (2003)

Frequency stabilization using matched Fabry-Perots as references
Published: (2002)

A frequency-domain estimator for use in adaptive control systems
Published: (2003)

Analysis of robust H2 performance using multiplier theory
Published: (2003)

Experimental design and evaluation of bounded rationality using dimensional analysis
Published: (2003)

Relaxation method for large scale linear programming using decomposition
Published: (2003)

A frequency-domain estimation for use in adaptive control systems
Published: (2003)

Probabilistc and sequential computation of optical flow using temporal coherence
Published: (2003)

Multiscale object recognition and feature extraction using wavelet networks (U)
Published: (2003)

Using natural wavelet bases and multiscale stochastic models for tomographic reconstruction
Published: (2003)

Estimating convex shapes from support line measurements using prior geometric information
Published: (2003)

A path-following algorithm for linear programming using quadratic and logarithmic penalty functions
Published: (2003)

Tracking control of non-linear systems using sliding surfaces with application to robot manipulations
Published: (2003)

Case study of controller design limitations of an ill-conditioned system using l1 and [mu] design concepts
Published: (2003)

Command and control experiment design using dimensional analysis /c Victoria Y. Jin, Alexander H. Levis.
Published: (2003)

Hierarchies in production management and control : a survey
Published: (2003)

A wavelet packet approach to transient signal classification
Published: (2003)

Upper bounds for symmetric Markov transition functions
Published: (2003)

Logarithmic Sobolev inequalities and stochastic Ising models
Published: (2003)

Robust wavelet thresholding for noise suppression
Published: (2003)

Expansions for determinants and for characteristic polynomials of stochastic matrices
Published: (2003)

Distributed network protocols for changing topologies : a counterexample
Published: (2003)

On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators
Published: (2003)

Identification and filtering--optimal recursive maximum likelihood approach
Published: (2003)