Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Observability and detectability of large-scale boolean control networks
KTH, School of Electrical Engineering and Computer Science (EECS), Centres, ACCESS Linnaeus Centre.
2020 (English)In: Communications and Control Engineering, Springer International Publishing , 2020, p. 117-142Chapter in book (Refereed)
Abstract [en]

In Chaps. 4 and 5, we investigated how to verify different notions of observability and detectability for Boolean control networks (BCNs), and also studied how to determine the initial state (current state) of a BCN according to a particular notion of observability (detectability). In addition, we proved that the problems of verifying these notions are all NP-hard in the number of nodes. Hence, these problems are generally intractable. Actually, in general, for a BCN with more than 30 nodes, one cannot obtain whether it is observable or detectable in a reasonable amount of time by using a personal computer (PC). Hence BCNs with more than 30 nodes can be regarded as large-scale.

Place, publisher, year, edition, pages
Springer International Publishing , 2020. p. 117-142
Keywords [en]
Personal computers, Boolean control networks, Detectability, Initial state, NP-hard, Observability
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-263444DOI: 10.1007/978-3-030-25972-3_6Scopus ID: 2-s2.0-85070562013OAI: oai:DiVA.org:kth-263444DiVA, id: diva2:1376000
Note

QC 20191206

Available from: 2019-12-06 Created: 2019-12-06 Last updated: 2019-12-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Zhang, Kuize

Search in DiVA

By author/editor
Zhang, Kuize
By organisation
ACCESS Linnaeus Centre
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 10 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf