A survey on compositional algorithms for verification and synthesis in supervisory control
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Malik, Robi
Mohajerani, Sahar
Fabian, Martin
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10626-023-00378-8
- URN
-
urn:nbn:de:101:1-2023112313131661412680
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
27.06.2025, 07:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Malik, Robi
- Mohajerani, Sahar
- Fabian, Martin
- SpringerLink (Online service)
Ähnliche Objekte (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