Modeling and verifying active structural control systems

Science of Computer Programming

Volumn 29, Issue 1-2, 1997, Pages 99-122

  Elseaidy, Wael M ^a   Cleaveland, Rance ^b   Baugh Jr , John W ^c  

^a Alphatronix Inc   (United States)

^b North Carolina State University   (United States)

^c NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Active structural control systems; Component wise state space reduction; Safety critical

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER APPLICATIONS; COMPUTER GRAPHICS; COMPUTER SIMULATION; FAULT TOLERANT COMPUTER SYSTEMS;

ACTIVE STRUCTURAL CONTROL SYSTEMS; AUTOMATIC VERIFICATION TOOL; CONCURRENCY WORKBENCH; FORMAL GRAPHICAL NOTATION; MODECHART;

COMPUTER CONTROL SYSTEMS;

EID: 0031185496     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(96)00031-7     Document Type: Article

References (22)

1. M. Abdel-Rohman and H.H.E. Leipholz, Structural control by pole assignment method, Eng. Mech. 104 (1978) 1157-1175.
2. A.K. Agrawal, Y. Fujino and B.K. Bhartia, Instability due to time delay and its compensation in active control of structures, Earthquake Eng. Strut. Dyn. 22 (1993) 211-224.
3. J. Baeten and W. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science Vol.18 (Cambridge Univ. Press, Cambridge, 1990).
4. J.W. Baugh, Jr. and W.M. Elseaidy, Real-time software development with formal models, Comput. Civil Eng. 9 (1995) 73-86.
5. R. Cleaveland, J. Parrow and B. Steffen, The Concurrency Workbench: A semantics based tool for the verification of finite-state systems, ACM Trans. Programming Languages Systems 15 (1993) 36-72.
6. W.M. Elseaidy, Safety and reliability of real-time engineering systems using formal methods, Ph.D. Thesis, North Carolina State University, NC, Raleigh, May 1995.
7. W.M. Elseaidy, J.W. Baugh Jr. and R. Cleaveland, Verification of an active control system using temporal process algebra, Eng. Comput. 12 (1996) 46-61.
8. W.M. Elseaidy and R. Cleaveland and J.W. Baugh, Verifying an intelligent structural control system: A case study, Proc. 15th IEEE Real-Time Systems Symp. (1994) 271-275.
9. H. Hansson, Modeling timeouts and unreliable media with a timed probabilistic calculus, in: K. Parker and G. Rose, eds. Formal Description Techniques, IV, Sydney, Australia, 1991, IFIP TC6/WG6.1 (North-Holland, Amsterdam 1991) 67-82.
10. D. Harel, Statecharts: A visual formalism for complex systems, Tech. Report, The Weizmann Institute of Science, Israel, July 1986.
11. T. Henzinger, P.-H. Ho and H. Wong-Toi, HYTECH: The next generation, in: Proc. 16th Ann. IEEE Real-Time Systems Symp, Pisa, Italy, December 1995 (IEEE Computer Society Press, Silver Spring, MD, 1995) 59-65.
12. C. Hoarc. Communicating Sequential Processess (Prentice-Hall, London, 1985).
13. F. Jahanian and A.K. Mok, Semantics of Modechart in real time Logic, 21st Hawaii Internat. Conf. on System Science (1988) 479-489.
14. F. Jahanian and D.A. Stuart, A method for verifying properties of Modechart specifications, in: IEEE 9th Real-Time System Symp. (IEEE Computer Society Press, Silver Spring, MD, 1988) 12-21.
15. R. Milner, Communication and Concurrency (Prentice-Hall, Englewood Cliffs, NJ, 1989).
16. A. Moller and C. Tofts, A temporal calculus of communicating systems, in: Proc. CONCUR'90, Lecture Notes in Computer Science Vol. 458 (Springer, Berlin, 1990) 401-415.
17. R. Paige and R. Tarjan, Three partition refinement algorithms, SIAM J. Comput. 16 (6) (1987) 973-989.
18. Z. Prucz, T.T. Soong and A. Reinhorn, An analysis of pulse control for simple mechanical systems, Dynamic Systems Measurement Control 107 (1985) 123-131.
19. A.M. Reinhorn, T.T. Soong, M.A. Riley, R.C. Lin and M. Higashino, Full-scale implementation of active control. II: Installation and performance, Struct. Eng. 119 (1993) 1934-1961.
20. B.D. Rose and J.W. Baugh, Jr., Parametric study of a pulse control algorithm with time delays, Tech. Report CE-302-93, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1993.
21. T.T. Soong, Active Structural Control (Longman Scientific, New York, 1990).
22. J.N. Yang, A. Akbarpour and P Ghaemmaghami, New control algorithms for structural control, Eng. Mech. 113 (1987) 1369-1386.