Works (1)
Updated: July 5th, 2023 16:04
1997 journal article
Modeling and verifying active structural control systems
SCIENCE OF COMPUTER PROGRAMMING, 29(1-2), 99–122.
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)
open access via doi.org (publisher)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
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.