Sökning: "Timed Networks"

Visar resultat 1 - 5 av 12 avhandlingar innehållade orden Timed Networks.

  1. 1. Model Checking Parameterized Timed Systems

    Författare :Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER

  3. 2. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

    Författare :Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
    Nyckelord :Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

    Sammanfattning : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). LÄS MER

  4. 3. Efficient implementation of model-checkers for networks of timed automata

    Författare :Fredrik Larsson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Since real-time systems often operate in safety-critical environments it is extremely important that they function correctly. UPPAAL is a tool that can be used for validation and verification of real-time systems. LÄS MER

  5. 4. Symbolic Supervisory Control of Timed Discrete Event Systems

    Författare :Sajed Miremadi; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Supervisory Control Theory; Timed Discrete Event Systems; Extended Finite Automata; Binary Decision Diagrams.;

    Sammanfattning : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). LÄS MER

  7. 5. Clocks, DBMs and States in Timed Systems

    Författare :Johan Bengtsson; Joost-Pieter Katoen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik; Datavetenskap; Computer Science;

    Sammanfattning : Today, computers are used to control various technical systems in our society. In many cases, time plays a crucial role in the operation of computers embedded in such systems. This thesis is about techniques and tools for the analysis of timing behaviours of computer systems. LÄS MER