Sökning: "symbolic system"

Visar resultat 1 - 5 av 168 avhandlingar innehållade orden symbolic system.

  1. 1. Symbolic Supervisory Control of Resource Allocation Systems

    Författare :Zhennan Fei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

    Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER

  3. 2. Advancing concurrent system verification : Type based approach and tools

    Författare :Ramunas Gutkovas; Johannes Borgström; Björn Victor; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Sammanfattning : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. LÄS MER

  4. 3. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods

    Författare :Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The interest in discrete event systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable to handle the complexity of problems and tasks present in industry to day. In this thesis we will consider a symbolic and algebraic framework which will be used for modeling, analysis, and synthesis of DEDS. LÄS MER

  5. 4. Machine Learning Concepts for Service Data Interoperability

    Författare :Jacob Nilsson; Fredrik Sandin; Jerker Delsing; Marcus Liwicki; Tapio Heikkilä; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; system of systems; system of cyber-physical systems; subsymbolic representations; semantic interoperability; dynamic interoperability; Cyber-Physical Systems; Cyberfysiska system;

    Sammanfattning : Industrial automation is transforming by ongoing digitalization efforts to create a flexible industrial internet of things, turning manufacturing facilities into large-scale systems of cyber-physical systems. This development requires addressing the challenging issue of making heterogeneous systems, data models, and standards interoperable, a core problem in designing sustainable service-oriented automation frameworks. LÄS MER

  7. 5. A Symbolic Approach to Human Motion Analysis Using Inertial Sensors : Framework and Gait Analysis Study

    Författare :Anita Sant'Anna; Thorsteinn Rögnvaldsson; Nicholas Wickström; Kamiar Aminian; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; symbolization; expert knowledge; gait analysis; inertial sensors;

    Sammanfattning : Motion analysis deals with determining what and how activities are being performed by a subject, through the use of sensors. The process of answering the what question is commonly known as classification, and answering the how question is here referred to as characterization. LÄS MER