In this paper, we study synthesis from logical specifications over finite traces expressed in LTLf and its extension LDLf . Specifically, in this form of synthesis, propositions are partitioned in controllable and uncontrollable ones, and the synthesis task consists of setting the controllable propositions over time so that, in spite of how the value of the uncontrollable ones changes, the spec...

A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant is presented. The approach is based on the concept of Petri net place invariants. Each step of the procedure is illustrated through a running example involving the supervision of a robotic asse...

The application of modern technologies with artificial intelligence in all spheres human life is growing exponentially. There a real concern that this growth could become uncontrollable. lack public, state and international control over creates large-scale risks using such software hardware inevitably affect or, conversely, intentionally harm humanity. events recent weeks Russia's war against d...

Abstract Background Abdominal pain in pregnancy offers a challenge for the General surgeon. Unilateral adrenal infarction is an extremely rare event. Case presentation: We report case of obese 23-year-old pregnant female G4 P1 + 2 diagnosed with unilateral and hemorrhage. She presented at 34 5 weeks severe RUQ flank under obstetric team. After initially being discharged, she later returned intr...