SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:cth ;pers:(Fabian Martin 1960)"

Sökning: LAR1:cth > Fabian Martin 1960

  • Resultat 51-60 av 214
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
51.
  •  
52.
  •  
53.
  • Fabian, Martin, 1960, et al. (författare)
  • On nondeterministic supervisory control
  • 1996
  • Ingår i: Proc of the 35th IEEE Conference on Decision and Control, Kobe, Japan. ; , s. 2213-8
  • Konferensbidrag (refereegranskat)
  •  
54.
  • Fabian, Martin, 1960 (författare)
  • On Object Oriented Nondeterministic Supervisory Control
  • 1995
  • Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
    • Implementation of complex discrete event fabrication processes can be considerably simplified by use of general reusable software modules representing the physical components. At the same time, construction of the control system can be facilitated by applying the supervisory control theory for the automatic generation of control laws. These two aspects can be joined into a general concept with object-oriented modeling and control law synthesis as foundations. The goal is to allow an operator to specify operation lists describing the required sequences of operations for the manufacturing of the product, independently of constraints given by a specific plant. With a suitable model of the capabilities and constraints of the resources of that plant, a product route can be automatically generated from the operation list. Such a product route describes all available paths through the system, for each type of product, irrespective of any other type of product that may be simultaneously present within the production system. Given a set of product routes and a model of the plant, control laws guaranteeing production according to those product specifications can be synthesized. Based on the supervisory control theory, using interleaved product routes as specification, we show how such control laws can be synthesized. An added complexity is that the specification becomes non-deterministic, in the sense that the same string of events can lead to different system states. We show that the supervisory control theory can be used with non-deterministic specifications assuming certain properties. An algorithm for synthesis of a non-deterministic supervisor is presented. We also describe an object-oriented modeling approach to discrete event fabrication processes. It is shown that the properties that have been defined as necessary for the non-deterministic supervisory approach are immediate by the modeling approach. Thus, we show that the approach to non-deterministic supervisory control can be combined with object-oriented modeling techniques, and so we have a powerful framework for implementing control of large and complex discrete event fabrication processes.
  •  
55.
  • Fabian, Martin, 1960, et al. (författare)
  • Petri Net Constructs for High Level Operation Lists
  • 1995
  • Ingår i: Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China. ; , s. 163-8
  • Konferensbidrag (refereegranskat)
  •  
56.
  •  
57.
  • Fabian, Martin, 1960, et al. (författare)
  • PLC-based Implementation of Supervisory Control for Discrete Event Systems
  • 1998
  • Ingår i: Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, 16 Dec 1998-18 Dec 1998. ; 3, s. 3305 - 3310
  • Konferensbidrag (refereegranskat)abstract
    • The supervisory control theory is a general theory for automatic synthesis of controllers (supervisors) for discrete event systems, given a plant model and a specification for the controlled behavior. Though the theory has for over a decade received substantial attention in academia, still very few industrial applications exist. The main reason for this seems to be a discrepancy between the abstract supervisor and its physical implementation. This is specifically noticeable when the implementation is supposed to be based on programmable logic controllers (PLCs), as is the case with many manufacturing systems. The asynchronous event-driven nature of the supervisor is not straightforwardly implemented in the synchronous signal-based PLC. We point out the main problems of supervisor implementation on a PLC, and suggest procedures to alleviate the problems.
  •  
58.
  • Fabian, Martin, 1960, et al. (författare)
  • Supervisory control of manufacturing systems using extended finite automata
  • 2014
  • Ingår i: Formal Methods in Manufacturing. - 9781466561564 ; , s. 295-314
  • Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
    • Discrete event systems (DES) are typically man-made reactive systems such as manufacturing, traffic control and embedded systems. DES behaviours are modelled in terms of states and events; states represent certain situations under which specific properties hold, while events represent significant occurrences that change those properties. A DES occupies at each time instant a single state out of its many possible ones and transits to another state on the occurrence of an event. One typical modelling formalism for DES is finite automata (FA) [1] that explicitly represent the states and the transitions between them.
  •  
59.
  • Farooqui, Ashfaq Hussain, 1990, et al. (författare)
  • Active Learning of Modular Plant Models
  • 2020
  • Ingår i: IFAC-PapersOnLine. - : Elsevier BV. - 2405-8963. ; 53:4, s. 296-302
  • Konferensbidrag (refereegranskat)abstract
    • Model-based techniques are these days being embraced by the industry in their development frameworks. While model-based approaches allow for offline verification and validation of the system, and have other advantages over existing methods, they do have their own challenges. One of the challenges is to obtain a model describing the behavior of the system. In this paper we present the Modular Plant Learner (MPL), an algorithm that explores the state-space and constructs a discrete model of a system. The MPL takes as input a hypothesis structure of the system - called the PSH - and using this information, interacts with a simulation of the system to construct a modular discrete-event model. Using an example we show how the algorithm uses the structural information provided - the PSH - to search the state-space in a smart manner, mitigating the state-space explosion problem.
  •  
60.
  • Farooqui, Ashfaq Hussain, 1990, et al. (författare)
  • Error handling within highly automated automotive industry: Current practice and research needs
  • 2016
  • Ingår i: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. - 1946-0759 .- 1946-0740. - 9781509013142 ; 2016-November, s. Art no 7733628-
  • Konferensbidrag (refereegranskat)abstract
    • Fault tolerant systems, commonly found in literature, are implemented in various computer applications. Some of these methods have been studied and developed to aid manufacturing systems; however, they have rarely been integrated into the manufacturing process. Broadly, the problem seems to be integration of error handling procedures towards the end of physically building the manufacturing line, lack of a defined workflow, untested program logic and inadequately equipped personnel to name a few. To this end, a survey was conducted within the Swedish automotive industry to get an understanding of current error handling procedures and its shortcomings, and are presented here. Based on this data, and looking at the trends within the manufacturing industry, this paper also identifies research topics aimed towards defining methods to create next generation fault tolerant manufacturing systems.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 51-60 av 214
Typ av publikation
konferensbidrag (143)
tidskriftsartikel (53)
rapport (13)
bokkapitel (3)
doktorsavhandling (1)
forskningsöversikt (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (190)
övrigt vetenskapligt/konstnärligt (24)
Författare/redaktör
Lennartson, Bengt, 1 ... (79)
Åkesson, Knut, 1972 (49)
Mohajerani, Sahar, 1 ... (23)
Falkman, Petter, 197 ... (22)
Malik, Robi (19)
visa fler...
Andreasson, Sven Arn ... (15)
Gullander, Per, 1968 (15)
Richardsson, Johan, ... (15)
Adlemo, Anders, 1957 (13)
Hellgren, Anders, 19 ... (13)
Bengtsson, Kristofer ... (12)
Andersson, Kristin, ... (12)
Farooqui, Ashfaq Hus ... (11)
Flordal, Hugo, 1977 (11)
Bergagård, Patrik, 1 ... (9)
Vahidi Mazinani, Ara ... (9)
Dahl, Martin, 1984 (8)
Selvaraj, Yuvaraj, 1 ... (8)
Tittus, Michael, 196 ... (8)
Ljungkrantz, Oscar, ... (7)
Miremadi, Sajed, 198 ... (7)
Ahrendt, Wolfgang, 1 ... (6)
Ramezani, Zahra, 198 ... (6)
Hagebring, Fredrik, ... (6)
Reniers, Michel A. (5)
Fei, Zhennan, 1984 (5)
Yuan, Chengyin (4)
Kumar, Ratnesh (4)
Malik, R (3)
Sköldstam, Markus, 1 ... (3)
Claessen, Koen, 1975 (3)
Smallbone, Nicholas, ... (3)
Stahre, Johan, 1961 (3)
Fasth, Åsa, 1978 (3)
Erös, Endre, 1990 (3)
Danielsson, Kristin, ... (3)
Provost, Julien, 198 ... (3)
Riazi, Sarmad, 1986 (3)
Goorden, Martijn (3)
Fokkink, Wan J. (2)
Basile, Francesco (2)
Noori-Hosseini, Mona ... (2)
Malmqvist, Johan, 19 ... (2)
Tidstam, Anna, 1983 (2)
Spensieri, Domenico (2)
Kianfar, Roozbeh, 19 ... (2)
Eddeland, Johan, 199 ... (2)
Farooqui, Ashfaq (2)
Voronov, Alexey, 198 ... (2)
visa färre...
Lärosäte
Chalmers tekniska högskola (214)
RISE (2)
Kungliga Tekniska Högskolan (1)
Språk
Engelska (214)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (149)
Teknik (120)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy