Research Output 1972 2020

Filter
Paper
1973

ON TRACKING LINEAR PLANTS UNDER UNCERTAINTY.

Mintz, M. & Basar, M. T., Jan 1 1973, p. 245-250. 6 p.

Research output: Contribution to conferencePaper

State estimation
Mathematical models
Uncertainty
1975

DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

Lauer, P. E. & Campbell, R. H., Jan 1 1975, p. 95-105. 11 p.

Research output: Contribution to conferencePaper

Petri nets
Synchronization

LINEARIZED TECHNIQUE AND MONTE CARLO SIMULATION FOR STOCHASTIC POWER FLOW STUDIES OF ELECTRIC POWER SYSTEMS.

Sufana, C. R., Heydt, G. T. & Sauer, P. W., Jan 1 1975, p. 7-11. 5 p.

Research output: Contribution to conferencePaper

Electric power systems
Statistics
Random variables
Monte Carlo simulation
1979

PATH EXPRESSIONS IN PASCAL.

Campbell, R. H. & Kolstad, R. B., Jan 1 1979, p. 212-219. 8 p.

Research output: Contribution to conferencePaper

Computer operating systems
Real time systems
Encapsulation
Synchronization
1980

APPLICATION OF THE FAULT-TOLERANT DEADLINE MECHANISM TO A SATELLITE ON-BOARD COMPUTER SYSTEM.

Wei, A. Y., Hiraishi, K., Cheng, R. & Campbell, R. H., Jan 1 1980, p. 107-109. 3 p.

Research output: Contribution to conferencePaper

Computer systems
Satellites
NASA
Spacecraft

STUDY OF THE EFFECT OF UNCERTAINTY IN FAILURE RATE ESTIMATION ON SYSTEM RELIABILITY.

Iyer, R. K., Jan 1 1980, p. 219-224. 6 p.

Research output: Contribution to conferencePaper

Reliability analysis
Uncertainty
1982
Jamming
Communication systems
Random variables
Probability distributions
Decoding

SOME RESULTS ON PACKET-SWITCHING NETWORKS FOR MULTIPROCESSING (EXTENDED ABSTRACT).

Kruskal, C. P. & Snir, M., Dec 1 1982, p. 305-310. 6 p.

Research output: Contribution to conferencePaper

Packet switching
Packet networks
Switching networks
1983

ACTIVE LINEAR DC CIRCUIT MODELS FOR POWER SYSTEM ANALYSIS.

Sauer, P. W. & Christensen, J. P., Dec 1 1983.

Research output: Contribution to conferencePaper

Systems analysis
Networks (circuits)
Iterative methods
Nonlinear equations
Transient analysis

SYSTEMATIC INCLUSION OF STATOR TRANSIENTS IN REDUCED ORDER SYNCHRONOUS MACHINE MODELS.

Sauer, P. W., Ahmed-Zaid, S. & Pai, M. A., Dec 1 1983.

Research output: Contribution to conferencePaper

Stators

SYSTEMATIC INCLUSION OF STATOR TRANSIENTS IN REDUCED ORDER SYNCHRONOUS MACHINE MODELS.

Sauer, P. W., Ahmed-Zaid, S. & Pai, M. A., Dec 1 1983.

Research output: Contribution to conferencePaper

Stators
1984

EFFICIENT LARGE-SCALE HYDRO SYSTEM SCHEDULING WITH FORCED SPILL CONDITIONS.

Ikura, Y. & Gross, G., Dec 1 1984.

Research output: Contribution to conferencePaper

Hydroelectric power plants
Hazardous materials spills
Nonlinear programming
Rivers
Scheduling
1986

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

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

Research output: Contribution to conferencePaper

Parallel algorithms
Statistical Models

MIXTURE OF NORMALS APPROXIMATION TECHNIQUE FOR EQUIVALENT LOAD DURATION CURVES.

Gross, G., Garapic, N. V. & McNutt, B., Jan 1 1986.

Research output: Contribution to conferencePaper

Normal distribution
Random variables
Outages
Screening
Planning
1987

AVERAGING THEORY IN REDUCED-ORDER SYNCHRONOUS MACHINE MODELING.

Othman, H. A., Lesieutre, B. C. & Sauer, P. W., Dec 1 1987, p. 225-234. 10 p.

Research output: Contribution to conferencePaper

Nonlinear dynamical systems
Time varying systems
Stators
Mechanics
Orbits

INTEGRAL MANIFOLD APPROACH TO REDUCED ORDER DYNAMIC MODELING OF SYNCHRONOUS MACHINES.

Sauer, P. W., Ahmed-Zaid, S. & Kokotovic, P. V., Jan 1 1987.

Research output: Contribution to conferencePaper

Differential equations
Stators

ON THE RELATIONSHIP BETWEEN POWER SYSTEM DYNAMIC EQUILIBRIUM AND LOAD FLOW EQUATIONS.

Sauer, P. W., Othman, H. A. & Lavin, R. C., Dec 1 1987, p. 303-307. 5 p.

Research output: Contribution to conferencePaper

Dynamical systems

TASK SCHEDULING IN DISTRIBUTED REAL-TIME SYSTEMS.

Sha, L., Lehoczky, J. P. & Rajkumar, R., Dec 1 1987, p. 909-916. 8 p.

Research output: Contribution to conferencePaper

Real time systems
Scheduling
1989

FOCUS: An experimental environment for validation of fault-tolerant systems - Case study of a jet-engine controller

Choi, G., Iyer, R. K. & Carreno, V., Dec 1 1989, p. 561-564. 4 p.

Research output: Contribution to conferencePaper

Jet engines
Fault tolerance
Controllers
Fault detection
Telecommunication links

Specifying concurrent systems with Δ-grammars

Kaplan, S. M., Goering, S. K. & Campbell, R. H., Dec 1 1989, p. 20-27. 8 p.

Research output: Contribution to conferencePaper

Specifications
Servers
Codes (standards)
Topology
1990

DEPEND: A design environment for prediction and evaluation of system dependability

Goswami, K. K. & Iyer, R. K., Dec 1 1990, p. 87-92. 6 p.

Research output: Contribution to conferencePaper

Hardware
Dynamic loads
Resource allocation
Simulators
Statistics

Fault characterization of a multilayered perceptron network

Tan, C. H. & Iyer, R. K., Dec 1 1990, p. 513-518. 6 p.

Research output: Contribution to conferencePaper

Learning systems
Neural networks
Hardware
Redundancy
Experiments
1991

Approximation schemes for stochastic teams with weakly coupled agents

Basar, M. T. & Srikant, R., Jan 1 1991, p. 1-6. 6 p.

Research output: Contribution to conferencePaper

Statistical methods
Statistics
1993

OptiImal l1 estimation

Voulgaris, P. G., Jan 1 1993, p. 314-318. 5 p.

Research output: Contribution to conferencePaper

Model Matching
Estimation Error
Minimization Problem
Error analysis
Linear Time
1994

Optimum visualization of vector fields and multi-sensor fusion

Bresler, Y., Jan 1 1994, p. 91-96. 6 p.

Research output: Contribution to conferencePaper

Multisensor Fusion
Sensor data fusion
Vector Field
Display
Visualization

Robot motion planning in a changing, partially predictable environment

Lavalle, S. M. & Sharma, R., Dec 1 1994, p. 261-266. 6 p.

Research output: Contribution to conferencePaper

Motion Planning
Motion planning
Robot
Robots
Motion

Sequential multihypothesis testing and nonuniform costs with applications in hybrid serial search

Baum, C. & Veeravalli, V. V., Dec 1 1994.

Research output: Contribution to conferencePaper

Binary sequences
Decision theory
Signal detection
Terminology
Statistical methods

Systematic normal form approach to feedback linearize a class of nonlinear systems

Talwar, S., Namachchivaya, N. S. & Voulgaris, P. G., Dec 1 1994, p. 21-33. 13 p.

Research output: Contribution to conferencePaper

Feedback linearization
System theory
Control theory
Linearization
Algebra

Verification of Error Models Through Low-level Simulation

Tsai, T. K., Choi, G. S. & Iyer, R. K., Jan 1 1994, p. 15-16. 2 p.

Research output: Contribution to conferencePaper

Error Model
Simulation
1995

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

Qureshi, M. A., Sanders, W. H., van Moorsel, A. P. A. & German, R., Dec 1 1995, p. 180-190. 11 p.

Research output: Contribution to conferencePaper

Computer Networks
Computer networks
Systems Analysis
Petri nets
Reward

Dynamic retrieval of remote digital objects

Li, Y., Puvvada, V. & Campbell, R., Dec 1 1995, p. 182-187. 6 p.

Research output: Contribution to conferencePaper

Waiting time
Digital libraries
Experiment
Degradation

Fluid stochastic Petri Net simulator

Nicol, D. M. & Miner, A. S., Dec 1 1995, p. 214-215. 2 p.

Research output: Contribution to conferencePaper

Stochastic Petri Nets
Petri nets
Simulator
Simulators
Fluid

FTAPE: A fault injection tool to measure fault Tolerance

Tsai, T. K. & Iyer, R. K., Jan 1 1995, p. 339-346. 8 p.

Research output: Contribution to conferencePaper

Fault tolerance
Degradation

Global virtual time and distributed synchronization

Steinman, J. S., Lee, C. A., Wilson, L. F. & Nicol, D. M., Jan 1 1995, p. 139-148. 10 p.

Research output: Contribution to conferencePaper

Flow control
Synchronization
Scalability
Hardware
Processing

Mining knowledge at multiple concept levels

Han, J., Dec 1 1995, p. 19-24. 6 p.

Research output: Contribution to conferencePaper

Data mining
Data base
Process mining

On extending parallelism to serial simulators

Nicol, D. M. & Heidelberger, P., Jan 1 1995, p. 60-67. 8 p.

Research output: Contribution to conferencePaper

Simulators
Communication
Computer simulation
Discrete event simulation
Telecommunication networks

Optimal combined task and message scheduling in distributed real-time systems

Abdelzaher, T. & Shin, K. G., Dec 1 1995, p. 162-171. 10 p.

Research output: Contribution to conferencePaper

Real time systems
Scheduling
Telecommunication links
Robotics

Optimizing robot motion strategies for assembly with stochastic models of the assembly process

Sharma, R., Lavalle, S. M. & Hutchinson, S. A., Jan 1 1995, p. 341-346. 6 p.

Research output: Contribution to conferencePaper

Stochastic models
Robots
Motion planning
Scheduling

RTsynchronizer: Language support for real-time specifications in distributed systems

Ren, S. & Agha, G. A., Nov 1 1995, p. 50-59. 10 p.

Research output: Contribution to conferencePaper

Specifications
Computer programming languages
Scheduling

Speeding up irregular applications in shared-memory multiprocessors: memory binding and group prefetching

Zhang, Z. & Torrellas, J., Jan 1 1995, p. 188-199. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Computer aided design
Hardware

Ultrasan version 3: Architecture, features, and implementation

Sanders, W. H., Obal, W. D., Qureshit, M. A. & Widjanarkot, F. K., Jan 1 1995, p. 327-338. 12 p.

Research output: Contribution to conferencePaper

Computer networks
Computer systems
Specifications

UltraSAN version 3 overview

Deavours, D. D., Obal, W. D., Qureshi, M. A., Sanders, W. H. & van Moorsel, A. P. A., Dec 1 1995, p. 216-217. 2 p.

Research output: Contribution to conferencePaper

File editors
Iterative methods
Markov Process
Markov processes
Probability density function
1996

Abstracting dependencies between software configuration items

Gunter, C., Dec 1 1996, p. 167-178. 12 p.

Research output: Contribution to conferencePaper

Software design
Petri nets

Augmint multiprocessor simulation toolkit for Intel x86 architectures

Nguyen, A. T., Michael, M., Sharma, A. & Torrellas, J., Dec 1 1996, p. 486-490. 5 p.

Research output: Contribution to conferencePaper

Simulators
Reduced instruction set computing
UNIX
Macros
Data storage equipment

Building parallel simulations from serial simulators

Heidelberger, P. & Nicol, D. M., Jan 1 1996, p. 2-4. 3 p.

Research output: Contribution to conferencePaper

Parallel Simulation
Simulator
Simulators
Multiprocessor Systems
Modeling Language

DEPEND: a simulation environment for system dependability modeling and evaluation

Ries, G., Kalbarczyk, Z. T., Kraljevic, T., Hsueh, M. C. & Iyer, R. K., Jan 1 1996. 1 p.

Research output: Contribution to conferencePaper

Computer hardware description languages
Glossaries
Computer programming languages
Managers
Engines

Efficient compilation of concurrent call/return communication in actor-based programming languages

Kim, W., Agha, G. A. & Panwar, R. B., Dec 1 1996, p. 62-67. 6 p.

Research output: Contribution to conferencePaper

Computer programming languages
Communication
Data flow analysis
Costs
Semantics

Evolving dependable real-time systems

Sha, L., Rajkumar, R. & Gagliardi, M., Jan 1 1996, p. 335-346. 12 p.

Research output: Contribution to conferencePaper

Real time systems
Hardware
Control system analysis
Discrete time control systems
Controllability
Petri nets
Control theory

Fault/failure analysis of the Tandem NonStop-UX operating system

Iyer, R. K., Hsueh, M. C. & Lee, I., Dec 1 1996, p. 491-496. 6 p.

Research output: Contribution to conferencePaper

UNIX
Computer operating systems
Failure analysis
Repair
Computer systems