OpenAIRE | Advanced Search for Research Products

1 Research products (1 rule applied)

Sort by

Relevance

arrow_drop_down

On conditional decomposability
descriptionPublicationkeyboard_double_arrow_right Preprint , Article 2012 Czech Republic, Netherlands Elsevier BV
Authors: Jan Komenda; Tomáš Masopust; Jan H. van Schuppen;
Jan Komenda; Tomáš Masopust; Jan H. van Schuppen;
doi: 10.1016/j.sysconle.2012.07.013 , 10.48550/arxiv.1201.1733
handle: 11104/0213494
doi: 10.1016/j.sysconle.2012.07.013 , 10.48550/arxiv.1201.1733
handle: 11104/0213494
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness. Comment: A few minor corrections
arXiv.org e-Print Ar...arrow_drop_down
arXiv.org e-Print Archive
Preprint . 2012
Data sources: arXiv.org e-Print Archive
Repository CWI Amsterdam; NARCIS
Article . 2012
Data sources: Repository CWI Amsterdam; NARCIS
Systems & Control Letters
Article
Data sources: UnpayWall
Repository of the Czech Academy of Sciences
Article . 2012
Data sources: Repository of the Czech Academy of Sciences
Systems & Control Letters
Article . 2012
License: https://www.elsevier.com/tdm/userlicense/1.0/
Data sources: Crossref; NARCIS
https://doi.org/10.48550/arxiv...
Article . 2012
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Data sources: Datacite
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
30
citations 30
popularity Average
influence Top 10%
impulse Top 10%
Powered by BIP!
more_vert
arXiv.org e-Print Ar...arrow_drop_down
arXiv.org e-Print Archive
Preprint . 2012
Data sources: arXiv.org e-Print Archive
Repository CWI Amsterdam; NARCIS
Article . 2012
Data sources: Repository CWI Amsterdam; NARCIS
Systems & Control Letters
Article
Data sources: UnpayWall
Repository of the Czech Academy of Sciences
Article . 2012
Data sources: Repository of the Czech Academy of Sciences
Systems & Control Letters
Article . 2012
License: https://www.elsevier.com/tdm/userlicense/1.0/
Data sources: Crossref; NARCIS
https://doi.org/10.48550/arxiv...
Article . 2012
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Data sources: Datacite
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu

1 Research products (1 rule applied)

On conditional decomposability
descriptionPublicationkeyboard_double_arrow_right Preprint , Article 2012 Czech Republic, Netherlands Elsevier BV
Authors: Jan Komenda; Tomáš Masopust; Jan H. van Schuppen;
Jan Komenda; Tomáš Masopust; Jan H. van Schuppen;
doi: 10.1016/j.sysconle.2012.07.013 , 10.48550/arxiv.1201.1733
handle: 11104/0213494
doi: 10.1016/j.sysconle.2012.07.013 , 10.48550/arxiv.1201.1733
handle: 11104/0213494
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness. Comment: A few minor corrections
arXiv.org e-Print Ar...arrow_drop_down
arXiv.org e-Print Archive
Preprint . 2012
Data sources: arXiv.org e-Print Archive
Repository CWI Amsterdam; NARCIS
Article . 2012
Data sources: Repository CWI Amsterdam; NARCIS
Systems & Control Letters
Article
Data sources: UnpayWall
Repository of the Czech Academy of Sciences
Article . 2012
Data sources: Repository of the Czech Academy of Sciences
Systems & Control Letters
Article . 2012
License: https://www.elsevier.com/tdm/userlicense/1.0/
Data sources: Crossref; NARCIS
https://doi.org/10.48550/arxiv...
Article . 2012
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Data sources: Datacite
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
30
citations 30
popularity Average
influence Top 10%
impulse Top 10%
Powered by BIP!
more_vert
arXiv.org e-Print Ar...arrow_drop_down
arXiv.org e-Print Archive
Preprint . 2012
Data sources: arXiv.org e-Print Archive
Repository CWI Amsterdam; NARCIS
Article . 2012
Data sources: Repository CWI Amsterdam; NARCIS
Systems & Control Letters
Article
Data sources: UnpayWall
Repository of the Czech Academy of Sciences
Article . 2012
Data sources: Repository of the Czech Academy of Sciences
Systems & Control Letters
Article . 2012
License: https://www.elsevier.com/tdm/userlicense/1.0/
Data sources: Crossref; NARCIS
https://doi.org/10.48550/arxiv...
Article . 2012
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Data sources: Datacite
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu

Filters

Access (1)

Type (4)

Year range

Field of Science [Beta] (7)

Country (2)

Source (5)

Research community (1)

On conditional decomposability

On conditional decomposability

Searching Fields	Terms
PID arrow_drop_down is arrow_drop_down

	citations	30
	popularity	Average
	influence	Top 10%
	impulse	Top 10%

Searching Fields	Terms
PID arrow_drop_down is arrow_drop_down

	citations	30
	popularity	Average
	influence	Top 10%
	impulse	Top 10%

Filters

Access (1)

Type (4)

Year range

Field of Science [Beta] (7)

Country (2)

Source (5)

Research community (1)

Loading

On conditional decomposability

Loading

On conditional decomposability