Research Output

1987

PLEASE: A LANGUAGE FOR INCREMENTAL SOFTWARE DEVELOPMENT.

Terwilliger, R. B. & Campbell, R. H., Jan 1 1987, Unknown Host Publication Title. IEEE, p. 249-256 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reduced order modeling of interconnected multimachine power systems using time-scale decomposition

Sauer, P. W., Lagesse, D. J., Ahmed-Zaid, S. & Pai, M. A., May 1987, In : IEEE Transactions on Power Systems. 2, 2, p. 310-319 10 p.

Research output: Contribution to journalArticle

Reduced Order Modeling of Interconnected Multimachine Power Systems Using Time-Scale Decomposition

Sauer, P. W., LaGesse, D. J., Ahmed-Zaid, S. & Pai, M. A., May 1987, In : IEEE Power Engineering Review. PER-7, 5, 1 p.

Research output: Contribution to journalArticle

Solutions to a class of linear-quadratic-Gaussian (LQG) stochastic team problems with nonclassical information

Bansal, R. & Başar, T., Aug 1987, In : Systems and Control Letters. 9, 2, p. 125-130 6 p.

Research output: Contribution to journalArticle

STOCHASTIC TEAMS WITH NONCLASSICAL INFORMATION REVISITED: WHEN IS AN AFFINE LAW OPTIMAL?

Bansal, R. & Basar, T., 1987, In : IEEE Transactions on Automatic Control. AC-32, 6, p. 554-559 6 p.

Research output: Contribution to journalArticle

Supporting the software development process with attributed NLC graph grammars

Kaplan, S. M., Goering, S. K. & Campbell, R. H., Jan 1 1987, Graph-Grammars and Their Application to Computer Science - 3rd International Workshop. Nagl, M., Rozenberg, G., Ehrig, H. & Rosenfeld, A. (eds.). Springer-Verlag, p. 309-325 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 291 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1986

Actors : a model of concurrent computation in distributed systems

Agha, G. A., 1986, Cambridge, Mass: MIT Press. 190 p.

Research output: Book/Report/Conference proceedingBook

A Fault-Tolerant Scheduling Problem

Liestman, A. L. & Campbell, R. H., Jan 1 1986, In : IEEE Transactions on Software Engineering. SE-12, 11, p. 1089-1095 7 p.

Research output: Contribution to journalArticle

An approach to operating system testing

Sum, R. N., Campbell, R. H. & Kubitz, W. J., Aug 1986, In : The Journal of Systems and Software. 6, 3, p. 273-284 12 p.

Research output: Contribution to journalArticle

An optimal repartitioning decision policy

Nicol, D. M. & Reynolds, P. F., 1986, Hampton, Va: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center.

Research output: Book/Report/Conference proceedingBook

ASYMPTOTIC AGREEMENT AND CONVERGENCE OF ASYNCHRONOUS STOCHASTIC ALGORITHMS.

Li, S. & Basar, T., 1986, In : Proceedings of the IEEE Conference on Decision and Control. p. 242-247 6 p.

Research output: Contribution to journalConference article

Atomic Actions for Fault-Tolerance Using CSP

Jalote, P. & Campbell, R. H., Jan 1986, In : IEEE Transactions on Software Engineering. SE-12, 1, p. 59-68 10 p.

Research output: Contribution to journalArticle

CRITICAL MODES AND VOLTAGE INSTABILITY IN POWER SYSTEMS.

Sauer, P. W., Rajagapolan, C., Pai, M. A. & Varghese, A., 1986, In : Proceedings - IEEE International Symposium on Circuits and Systems. p. 1019-1022 4 p.

Research output: Contribution to journalArticle

DECOUPLED STABILITY ANALYSIS OF LARGE SCALE POWER SYSTEMS USING INTEGRAL MANIFOLD APPROACH.

Pai, M. A., Sauer, P. W., Othman, H., Chow, J. H. & Winkelman, J. R., Dec 1 1986, In : Proceedings of the IEEE Conference on Decision and Control. p. 1388-1393 6 p.

Research output: Contribution to journalConference article

DISTRIBUTED ALGORITHM FOR THE COMPUTATION OF NASH EQUILIBRIA IN LINEAR STOCHASTIC DIFFERENTIAL GAMES.

Li, S. & Basar, T., 1986, p. 652-656. 5 p.

Research output: Contribution to conferencePaper

Dynamic remapping decisions in multi-phase parallel computations

Nicol, D. M. & Reynolds, P. F., 1986, Springfield, Va: [For sale by the National Technical Information Service].

Research output: Book/Report/Conference proceedingBook

Dynamic remapping of parallel computations with varying resource demands

Nicol, D. M. & Saltz, J. H., 1986, Hampton, Va: NASA Langley Research Center.

Research output: Book/Report/Conference proceedingBook

Effect of Uncertainty in Failure Rates on Memory System Reliability

Amer, H. H. & Iyer, R. K., Jan 1 1986, In : IEEE Transactions on Reliability. 35, 4, p. 377-379 3 p.

Research output: Contribution to journalArticle

ENCOMPASS: A SAGA BASED ENVIRONMENT FOR THE COMPOSITION OF PROGRAMS AND SPECIFICATIONS.

Terwilliger, R. B. & Campbell, R. H., Dec 1 1986, In : Proceedings of the Hawaii International Conference on System Science. 2 a, p. 436-447 12 p.

Research output: Contribution to journalConference article

ERROR PROPAGATION IN A DIGITAL AVIONIC PROCESSOR: A SIMULATION-BASED STUDY.

Lomelino, D. & Iyer, R. K., 1986, Unknown Host Publication Title. IEEE, p. 218-225 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Error Recovery in Asynchronous Systems

Campbell, R. H. & Randell, B., Aug 1986, In : IEEE Transactions on Software Engineering. SE-12, 8, p. 811-826 16 p.

Research output: Contribution to journalArticle

FAULT LATENCY IN THE MEMORY - AN EXPERIMENTAL STUDY ON VAX 11/780.

Chillarege, R. & Iyer, R. K., Jan 1 1986, Digest of Papers - FTCS (Fault-Tolerant Computing Symposium). IEEE, p. 258-263 6 p. (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Higher order dynamic equivalents for power systems

Ahmed-Zaid, S., Sauer, P. W. & Winkelman, J. R., Jul 1986, In : Automatica. 22, 4, p. 489-494 6 p.

Research output: Contribution to journalArticle

HIGHER-ORDER DYNAMIC EQUIVALENTS FOR POWER SYSTEMS.

Ahmed-Zaid, S., Sauer, P. W. & Winkelman, J. R., Dec 1 1986, Unknown Host Publication Title. Pergamon Press (IFAC Proceedings Series n 3), p. 435-442 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

INTEGRAL MANIFOLD AS A TOOL FOR REDUCED-ORDER MODELING OF NONLINEAR SYSTEMS: A CASE STUDY.

Kokotovic, P. V. & Sauer, P. W., Jan 1 1986, In : Proceedings - IEEE International Symposium on Circuits and Systems. p. 908-911 4 p.

Research output: Contribution to journalConference article

INTEGRATED MODULAR ENVIRONMENT FOR SAGA.

Kirslis, P. A., Terwilliger, R. B. & Campbell, R. H., Dec 1 1986, In : Proceedings of the Hawaii International Conference on System Science. 2 a, 1 p.

Research output: Contribution to journalConference article

Introduction to differential games and control theory. V. N. Lagunov

Basar, M. T., Nov 1986, In : Automatica. 22, 6, p. 762-763 2 p.

Research output: Contribution to journalReview article

Measurement and Modeling of Computer Reliability as Affected by System Activity

Iyer, R. K., Rossetti, D. J. & Hsueh, M. C., Aug 1 1986, In : ACM Transactions on Computer Systems (TOCS). 4, 3, p. 214-237 24 p.

Research output: Contribution to journalArticle

MEDIATORS: A SYNCHRONIZATION MECHANISM.

Grass, J. E. & Campbell, R. H., Jan 1 1986, Proceedings - International Conference on Distributed Computing Systems. IEEE, p. 468-477 10 p. (Proceedings - International Conference on Distributed Computing Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modal based stability analysis of power systems using energy functions

Khorasani, K., Pai, M. A. & Sauer, P. W., Jan 1986, In : International Journal of Electrical Power and Energy Systems. 8, 1, p. 11-16 6 p.

Research output: Contribution to journalArticle

Multimodeling, Singular Perturbations, and Stochastic Decision Problems

Saksena, V. R. & Başar, T., Jan 1986, Control and Dynamic Systems. p. 1-58 58 p. (Control and Dynamic Systems; vol. 23).

Research output: Chapter in Book/Report/Conference proceedingChapter

Optimal strategic monetary policies in dynamic interdependent economies A summary paper

Başar, T., Turnovsky, S. J. & D'orey, V., Jun 1 1986, In : Journal of Economic Dynamics and Control. 10, 1-2, p. 15-19 5 p.

Research output: Contribution to journalArticle

OPTIMUM LINEAR CAUSAL CODING SCHEMES FOR STOCHASTIC PROCESSES IN THE PRESENCE OF CORRELATED JAMMING.

Basar, T. U. & Basar, M. T., 1986, Unknown Host Publication Title. Princeton Univ, p. 384-386 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

RECOGNITION OF ERROR SYMPTOMS IN LARGE SYSTEMS.

Iyer, R. K., Young, L. T. & Sridhar, V., Dec 1 1986, Unknown Host Publication Title. Stone, H. S. (ed.). IEEE, p. 797-806 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

ROBUST CONTROLLER DESIGN FOR LINEAR STOCHASTIC SYSTEMS WITH UNCERTAIN PARAMETERS.

McDowell, P. H. & Basar, T., 1986, In : Proceedings of the American Control Conference. p. 39-44 6 p.

Research output: Contribution to journalConference article

Solutions to a class of minimax decision problems arising in communication systems

Basar, T. & Wu, Y. W., Dec 1 1986, In : Journal of Optimization Theory and Applications. 51, 3, p. 375-404 30 p.

Research output: Contribution to journalArticle

Statistical methodologies for the control of dynamic remapping

Saltz, J. & Nicol, D. M., 1986, Springfield, Va: National Aeronautics and Space Administration, Langley Research Center.

Research output: Book/Report/Conference proceedingBook

STOCHASTIC TEAMS WITH NONCLASSICAL INFORMATION REVISITED: WHEN IS AN AFFINE LAW OPTIMAL? .

Bansal, R. & Basar, T., Jan 1 1986, In : Proceedings of the American Control Conference. p. 45-50 6 p.

Research output: Contribution to journalConference article

The Professional Workstation Research Project

Campbell, R. H. & Kubitz, W. J., May 1986, In : IEEE Computer Graphics and Applications. 6, 5, p. 17-24 8 p.

Research output: Contribution to journalArticle

TWO-LEVEL PLANNING AND SCHEDULING APPROACH FOR COMPUTER INTEGRATED MANUFACTURING.

Shaw, M., Dec 1 1986, In : National Bureau of Standards, Special Publication. p. 185-195 11 p.

Research output: Contribution to journalConference article