Modeling and verifying active structural control systems

This publication has 15 references indexed in Scilit:

• Verification of an active control system using temporal process algebra
  Engineering with Computers, 1996
• Real-Time Software Development with Formal Models
  Journal of Computing in Civil Engineering, 1995
• Full‐Scale Implementation of Active Control. II: Installation and Performance
  Journal of Structural Engineering, 1993
• Instability due to time delay and its compensation in active control of structures
  Earthquake Engineering & Structural Dynamics, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus
  Published by Elsevier ,1992
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• New Optimal Control Algorithms for Structural Control
  Journal of Engineering Mechanics, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• An Analysis of Pulse Control for Simple Mechanical Systems
  Journal of Dynamic Systems, Measurement, and Control, 1985