Výsledky vyhledávání

Akademický článek

Martensite size and morphology influence on strain distribution and micro-damage evolution in dual-phase steels; comparing segregation-neutralised and banded grades

Autor: Pedram Dastur, Carl Slater, Thomas Moore, Claire Davis

Publikováno v: Materials & Design, Vol 246, Iss , Pp 113340- (2024)

A change in strain partitioning and microscale failure mechanisms in dual-phase (DP) steel was found when both the morphology and distribution of martensite were altered compared to a banded DP steel grade benchmarked against a specific commercial DP

Externí odkaz: https://doaj.org/article/122f506551aa415990c39dd7158f8a6f

Zobrazit plný text záznamu

Refinements of behavioural abstractions for the supervisory control of hybrid systems

Autor: Thomas Moor, Jung-Min Yang, Jörg Raisch

Publikováno v: Discrete Event Dynamic Systems. 30:533-560

A common approach to controller synthesis for hybrid systems is to first establish a discrete-event abstraction and then to use methods from supervisory control theory to synthesise a controller. In this paper, we consider behavioural abstractions of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a8147eafad248d52ede81c3432d8d60
https://doi.org/10.1007/s10626-020-00315-z

Zobrazit plný text záznamu

Top-Down Nested Supervisory Control of State-Tree Structures Based on State Aggregations

Autor: Thomas Moor, Zhiwu Li, Xi Wang

Publikováno v: IFAC-PapersOnLine. 53:11175-11180

With a structured state space, state-tree structures (STS) are a powerful framework to model hierarchical finite state machines (HFSM). The boundary consistency property of STS endows them a compact and neatly representation. In this study, by natura

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5616083ee7b0646247a1086c64cc203b
https://doi.org/10.1016/j.ifacol.2020.12.300

Zobrazit plný text záznamu

Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets

Autor: Thomas Moor, Lukas Triska

Publikováno v: IFAC-PapersOnLine. 53:75-82

Timed Petri nets and max-plus automata are well known modelling frameworks for timed discrete-event systems. In this paper we present an iterative procedure that constructs a max-plus automaton from a timed Petri net while retaining the timed behavio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c0b8a35639b2bb809940ba2143a539cc
https://doi.org/10.1016/j.ifacol.2021.04.049

Zobrazit plný text záznamu

A Reactive Synthesis Approach to Supervisory Control of Terminating Processes

Autor: Thomas Moor, Klaus Werner Schmidt, Anne-Kathrin Schmuck

Publikováno v: IFAC-PapersOnLine. 53:2149-2156

This paper establishes a connection between supervisory control theory (SCT) and reactive synthesis (RS) in the situation where both the plant and the specification are modeled by *-languages, i.e., formal languages over finite words. In particular,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a83fb60402ab4f5047205cb616b00fb5
https://doi.org/10.1016/j.ifacol.2020.12.2541

Zobrazit plný text záznamu

An Efficient Algorithm for the Computation of the Controllability Prefix of *-Languages

Autor: Anne-Kathrin Schmuck, Thomas Moor, Klaus Werner Schmidt

Publikováno v: IFAC-PapersOnLine. 53:2122-2129

Given a plant and a specification, both represented as formal languages, the controllability prefix is defined as the set of event sequences from which on a supervisor can control the plant according to the specification. The controllability prefix w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cf6dc6ef820adfb6dc05a3843d6d932b
https://doi.org/10.1016/j.ifacol.2020.12.2701

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání