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 31-40 av 214
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
31.
  • Dahl, Martin, 1984, et al. (författare)
  • Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning
  • 2017
  • Ingår i: IFAC-PapersOnLine. - : Elsevier BV. - 2405-8963. ; 50:1, s. 5818-5823
  • Konferensbidrag (refereegranskat)abstract
    • It is essential to understand the operation sequences of a production system when designing or changing it. This paper will demonstrate how the software tool Sequence Planner (SP) not only supports this understanding by sequence visualization, but also improves the solution using optimization and verification. SP is a tool for modeling and analyzing automation systems. The tool has been developed since 2007 with an initial focus on supporting engineers when developing control code for programmable logical controllers. Today, SP is a micro-service architecture, usable in various areas like runtime control, online monitoring, energy optimization, and even emergency department patient planning. This paper presents a use case at an automotive company, where the operation sequences in a large number of automated robot stations, need to be modified. SP, together with virtual commissioning tools, automates this modification by identifying, optimizing, verifying and simulating operation sequences, and then updates the robot and control programs. This use case demonstrates the strength of SP and its architecture and how it is used for integrated virtual preparation and commissioning.
  •  
32.
  • Danielsson, Kristin, 1976, et al. (författare)
  • Automatic Scheduling and Verification of the Control Function of Flexible Assembly Cells in an Information Reuse Environment
  • 2005
  • Ingår i: Proc. of the IEEE Symposium on Assembly and Task Planning. - 0780390806 ; , s. 80-85
  • Konferensbidrag (refereegranskat)abstract
    • Formal synthesis and verification of control programs in manufacturing applications are currently undeveloped areas. Today, new control programs are most often debugged on the shop floor, and when formal methods are used, the result is often a control function that is impossible to interpret by the operators. We present a method for synthesis of the control function of a PLC program. By combining supervisory control theory with a hierarchical program structure, in which the control function is separated from the rest of the PLC program, the generated control function combines the benefits of a traditional supervisor, e.g. non-blocking, optimality and flexibility, with simplicity and clearness. The traditional coding is replaced by information reuse and configuration of program components, instantiated from a software library. © 2005 IEEE.
  •  
33.
  • Eddeland, Johan, 1991, et al. (författare)
  • Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
  • 2017
  • Ingår i: IFAC-PapersOnLine. - : Elsevier BV. - 2405-8963. ; 50:1, s. 9260-9265
  • Konferensbidrag (refereegranskat)abstract
    • Testing of cyber-physical systems (CPSs) is a complex task, mainly due to the presence of continuous dynamics. In industry, CPSs are typically safety-critical and their complexity is rapidly increasing. Thus, it is important to know how well the tests perform. One common approach to ensuring test quality is to use coverage criteria, for example the well-known MC/DC. However, most of the used coverage criteria in industry depend on code structure to find errors in the system and may fail to capture the complete dynamical behaviour. Two coverage definitions are presented that can be used to ensure that all the continuous dynamics in the system have been explored. It is shown that the MC/DC criterion is not always rigorous enough to test all the system behaviour. Finally, the proposed coverage criteria are applied to automatically assess the test quality for a plant model used at Volvo Car Corporation.
  •  
34.
  • Eddeland, Johan, 1991, et al. (författare)
  • Objective functions for falsification of signal temporal logic properties in cyber-physical systems
  • 2017
  • Ingår i: IEEE International Conference on Automation Science and Engineering. - 2161-8070 .- 2161-8089. - 9781509067817 ; , s. 1326-1331
  • Konferensbidrag (refereegranskat)abstract
    • Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. Thus, it is important that these systems behave as intended, as incorrectness can have serious consequences. Due to continuous dynamics that yield infinite state spaces, the systems cannot be exhaustively tested to guarantee correct behavior, but systematic testing can be used to systematically search for behavior that is inconsistent with the requirements. However, manual testing is a tedious and error-prone task, and thus it is desirable to automate as much of the testing process as possible to increase efficiency and eliminate manual errors. This paper considers falsification of requirements expressed as temporal logic formulae to find errors in the Model-in-the-Loop stage of model-based development. The falsification is an optimization procedure where the objective function is determined by the definition of a quantitative semantics for the temporal logic formalism, and the optimization is performed over an input parametrization. It is shown that in certain cases where the discreteness of the system under test manifests itself in the objective function, the robustness values for the temporal logic specifications need to be modified. This paper presents two alternative objective functions suitable for these cases, and illustrates their use with both a small example and a use case from Volvo Car Corporation.
  •  
35.
  •  
36.
  •  
37.
  •  
38.
  •  
39.
  •  
40.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 31-40 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