Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

On tick automata for distributed timed DESs with synchronisations and minimal time constraints

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Institute of Mathematics of the Czech Academy of Science (IM / CAS); Czech Academy of Sciences Prague (CAS); Groupe de Recherche en Electrotechnique et Automatique du Havre (GREAH); Université Le Havre Normandie (ULH); Normandie Université (NU)-Normandie Université (NU)
    • بيانات النشر:
      HAL CCSD
      Elsevier
    • الموضوع:
      2023
    • Collection:
      Normandie Université: HAL
    • نبذة مختصرة :
      International audience ; This paper is about the representations of distributed timed discrete event systems (DESs) with synchronisation events and minimal time constraints. A subclass of Timed Petri nets with specific time semantics is first recalled as a reference model for the considered systems. Such a model is reformulated according to modular tick automata with minimal times that behave like logical automata. A synchronous composition of such automata is then defined and the result of this composition is a new tick automaton that has the same timed language as the original Petri net, which is not the case for the earlier model of tick automata with constant (exact) times.
    • Relation:
      hal-04469030; https://hal.science/hal-04469030; https://hal.science/hal-04469030/document; https://hal.science/hal-04469030/file/1-s2.0-S2405896323003798-main.pdf
    • الرقم المعرف:
      10.1016/j.ifacol.2023.10.039
    • Rights:
      http://creativecommons.org/licenses/by-nc-nd/ ; info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.E9967D4B