A survey on compositional algorithms for verification and synthesis in supervisory control
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
A survey on compositional algorithms for verification and synthesis in supervisory control ; volume:33 ; number:3 ; day:21 ; month:8 ; year:2023 ; pages:279-340 ; date:9.2023
Discrete event dynamic systems ; 33, Heft 3 (21.8.2023), 279-340, 9.2023
- Creator
-
Malik, Robi
Mohajerani, Sahar
Fabian, Martin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10626-023-00378-8
- URN
-
urn:nbn:de:101:1-2023112313131661412680
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Malik, Robi
- Mohajerani, Sahar
- Fabian, Martin
- SpringerLink (Online service)
Other Objects (12)
Decomposition for compositional verification
Hierarchical planning in a supervisory control context with compositional abstraction
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Specification and compositional verification of real time systems
Compositional design and verification of component-based information systems
Compositional verification of a lock-free stack with RGITL
Compositional verification of industrial control systems : methods and case studies
Compositional non-blockingness verification of finite automata with prioritised events
An environment for compositional specification verification of complex embedded systems
Compositional verification of industrial control systems : methods and case studies
Decomposition for compositional verification
Hierarchical planning in a supervisory control context with compositional abstraction
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Specification and compositional verification of real time systems
Compositional design and verification of component-based information systems
Compositional verification of a lock-free stack with RGITL
Compositional verification of industrial control systems : methods and case studies
Compositional non-blockingness verification of finite automata with prioritised events
An environment for compositional specification verification of complex embedded systems
Compositional verification of industrial control systems : methods and case studies
Decomposition for compositional verification
Hierarchical planning in a supervisory control context with compositional abstraction
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Survey on Machine Learning Algorithms Enhancing the Functional Verification Process
Specification and compositional verification of real time systems
Compositional design and verification of component-based information systems
Compositional verification of a lock-free stack with RGITL
Compositional verification of industrial control systems : methods and case studies
Compositional non-blockingness verification of finite automata with prioritised events
An environment for compositional specification verification of complex embedded systems