Searching for "Synthesis of Safe" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Multi-level Synthesis for Safe Replaceability
- …Abstract Multi-level Synthesis for Safe Replaceability Carl Pixley Vigyan Singhal Adnan Aziz y…
- Cited by 12 (4 self) – Add To MetaCart
-
A Framework for Using Discrete Control Synthesis in Safe Robotic Programming and Teleoperation
- …A framework for using discrete control synthesis in safe robotic programming and teleoperation Eric…
- Cited by 8 (4 self) – Add To MetaCart
-
Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real
- …Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real…
- Cited by 21 (6 self) – Add To MetaCart
-
Synthesizing Switching Logic using Constraint Solving ⋆
- …, we extend that work to automatic synthesis of safe hybrid systems. Starting with a multi…
- Add To MetaCart
-
Deriving Petri Nets from Finite Transition Systems
- … by using the following three mechanisms that provide a framework for synthesis of safe Petri Nets from…
- Cited by 26 (5 self) – Add To MetaCart
-
Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous
- … and transitions relabeled to fulfill the conditions required to obtain a safe irredundant PN. For synthesis…
- Cited by 123 (24 self) – Add To MetaCart
-
Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis
- … out. Nielsen and Winskel [NW94] and Mukund [Muk92] solved the synthesis problem for respectively safe…
- Cited by 6 (2 self) – Add To MetaCart
-
I R I S a
- … to safe Petri nets. The aim of this report is to show that the synthesis problem for nets can reduce…
- Add To MetaCart
-
Sequential optimization in the absence of global reset
- … Additional Key Words and Phrases: sequential logic synthesis, safe replaceability, no-reset latches…
- Add To MetaCart
-
New Results on Decentralized Supervisory Control of Discrete-Event Systems
- … to the inclusion problem. To improve upon this solution, other safe supervisor synthesis techniques were developed…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
