SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Hugo Martin) srt2:(2005-2009)"

Sökning: WFRF:(Hugo Martin) > (2005-2009)

  • Resultat 1-10 av 35
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  •  
5.
  • Vardas, Panos E., et al. (författare)
  • Orientações para pacing cardíaco e terapia deressincronização cardíaca
  • 2008
  • Ingår i: Revista portuguesa de cardiologia : orgão oficial da Sociedade Portuguesa de Cardiologia = Portuguese journal of cardiology : an official journal of the Portuguese Society of Cardiology. - 0870-2551. ; 27:5, s. 639-687
  • Tidskriftsartikel (refereegranskat)
  •  
6.
  •  
7.
  • Flordal, Hugo, 1977, et al. (författare)
  • Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
  • 2007
  • Ingår i: Control Engineering Practice. - : Elsevier BV. - 0967-0661. ; 15:11, s. 1416-1426
  • Tidskriftsartikel (refereegranskat)abstract
    • In industrial production lines, for example in the automotive industry, cells with multiple industrial robots are common. In such cells, each robot has to avoid running into static obstacles and when the robots work together in a shared space they must also avoid colliding with each other. Typically. the latter is enforced by manually implementing interlocks in programmable logic controllers (PLCs). This is a tedious. error-prone task that is a bottleneck in the development of production lines. The PLC-code being man-made also greatly complicates the maintenance and reconfiguration of such production lines. However, in industry today, a lot of development of robot cells is made offline in 3D simulation environments which enables the use of computers also for deciding and implementing the necessary coordination. This paper presents a method that makes use of information in a robot simulation environment in order to automatically extract finite state models. These models can be used to generate supervisors for ensuring that the deadlock situations that may arise as a consequence of the introduced interlocks are avoided. It is also possible to optimize the work cycle time for the cell. Finally, PLC-code to supervise the production cell can be automatically generated from the deadlock-free and possibly optimized system model. This approach results in a high flexibility in that the coordination function can be quickly reimplemented whenever necessary. A prototype implementation has been developed making use of a commercial 3D robot simulation tool, and a software tool for supervisor synthesis and code generation. The approach is general and should be possible to implement in most offline robot simulation tools. (c) 2007 Elsevier Ltd. All rights reserved.
  •  
8.
  • Flordal, Hugo, 1977, et al. (författare)
  • Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
  • 2007
  • Ingår i: Discrete Event Dynamic Systems: Theory and Applications. - : Springer Science and Business Media LLC. - 0924-6703 .- 1573-7594. ; 17:4, s. 475-504
  • Tidskriftsartikel (refereegranskat)abstract
    • This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis. © 2007 Springer Science+Business Media, LLC.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 35
Typ av publikation
tidskriftsartikel (15)
konferensbidrag (10)
rapport (5)
annan publikation (2)
samlingsverk (redaktörskap) (1)
doktorsavhandling (1)
visa fler...
bokkapitel (1)
visa färre...
Typ av innehåll
refereegranskat (18)
övrigt vetenskapligt/konstnärligt (13)
populärvet., debatt m.m. (4)
Författare/redaktör
Hugo, Martin, 1968- (5)
Tendera, Michal (4)
Widimsky, Petr (4)
Dean, Veronica (4)
Filippatos, Gerasimo ... (4)
Fabian, Martin, 1960 (4)
visa fler...
Blomström-Lundqvist, ... (4)
Linde, Cecilia (4)
De Caterina, Raffael ... (4)
Westerlund, Hugo (4)
Dickstein, Kenneth (4)
Drexler, Helmut (4)
Auricchio, Angelo (4)
Gasparini, Maurizio (4)
Vardas, Panos E (4)
Priori, Silvia G (4)
Blanc, Jean-Jacques (4)
Oto, Ali (4)
Silber, Sigmund (4)
Sechtem, Udo (4)
Brignole, Michele (4)
Cleland, John (4)
Sutton, Richard (4)
Camm, John (4)
Funck-Brentano, Chri ... (4)
Vahanian, Alec (4)
Le Heuzey, Jean-Yves (4)
Daubert, Jean-Claude (4)
Flordal, Hugo, 1977 (4)
McGregor, Keith (4)
Hellemans, Irene (4)
Ritter, Philippe (4)
Scherbarth, Hugo R (3)
Paira, Sergio (3)
Martin, Javier (3)
Zamorano, Jose Luis (3)
Gutierrez-de-Teran, ... (3)
Theorell, Töres (3)
Åkesson, Knut, 1972 (3)
Sundberg, Martin (3)
Hugo, Martin (3)
Åqvist, Johan (3)
Westlin, Hugo (3)
Gonzalez-Gay, Miguel ... (3)
Nervall, Martin (3)
Dunn, Ben M. (3)
Hyde, Martin (3)
Pascual-Salcedo, Dor ... (3)
Balsa, Alejandro (3)
Oxenstierna, Gabriel (3)
visa färre...
Lärosäte
Uppsala universitet (11)
Jönköping University (11)
Stockholms universitet (5)
Chalmers tekniska högskola (4)
RISE (3)
Karolinska Institutet (3)
visa fler...
Lunds universitet (2)
visa färre...
Språk
Engelska (23)
Svenska (10)
Polska (1)
Portugisiska (1)
Forskningsämne (UKÄ/SCB)
Samhällsvetenskap (11)
Naturvetenskap (9)
Medicin och hälsovetenskap (3)
Lantbruksvetenskap (3)
Teknik (2)

Å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