Works (1)

Updated: July 5th, 2023 16:04

1997 journal article

Modeling and verifying active structural control systems


By: W. Elseaidy*, R. Cleaveland n & J. Baugh n

author keywords: active structural control systems; safety critical; component-wise state space reduction
TL;DR: A case study involving the use of a formal graphical notation, Modechart, and an automatic verification tool, the Concurrency Workbench, in the analysis of the design of a fault-tolerant active structural control system shows the importance of compositionality for reasoning about large and complex systems. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.