SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WAKA:ref ;pers:(Lennartson Bengt 1956)"

Sökning: WAKA:ref > Lennartson Bengt 1956

  • Resultat 41-50 av 337
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
41.
  • Byröd, Martin, 1980, et al. (författare)
  • Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams
  • 2006
  • Ingår i: 8th International Workshop on Discrete Event Systems, WODES 2006; Ann Arbor, MI; United States; 10 July 2006 through 12 July 2006. - 1424400538 ; , s. 288-293
  • Konferensbidrag (refereegranskat)abstract
    • A well known strategy for handling the exponential complexity of modular discrete event systems is to represent the state space symbolically, using binary decision diagrams (BBDs). In this paper, key success factors in the design of efficient BDD-based reachability algorithms for synthesis and verification are discussed. It is also shown how the modular structure of a discrete event system (DES) can be utilized by taking advantage of the process communication graph and partitioning techniques. A reachability algorithm based on these principles is discussed and a proof of correctness for the algorithm is given.
  •  
42.
  • Carlsson, Henrik, 1979-, et al. (författare)
  • Automated Generation of Discrete Event System Simulation Models for Flexible Automation
  • 2011
  • Ingår i: The 21st International Conference on Flexible Automation and Intelligent Manufacturing. - 9789868729100 ; , s. 825-832, s. 825-832
  • Konferensbidrag (refereegranskat)abstract
    • Flexible automation cells with rapid product changes are an important competitive advantage for industries today. These cells can increase a company’s productivity and thereby increase their profits. A flexible cell shall be able to handle different products with none or minimal changes to the cell itself. A powerful tool, which can be used to analyse and verify such cells, is discrete event system simulation. Problems such as potential bottlenecks, deadlocks, answers to "what-if" questions and the level of resource utilisation can be gathered. The drawback of discrete event system simulation is that the modelling task is both time consuming and difficult to accomplish. Furthermore, state-of-the-art discrete event system simulation tools that are used in the industry today are not suitable for flexible automation. If the production scenario is changed, e.g. introduction of a new product, the simulation and modelling has to be redone and this is both time consuming and tedious. In this paper a new approach will be presented that enables discrete event simulation models to be generated automatically. The models are generated from information retrieved from a PLM/PDM database system, which is shared among other engineering tools such as robot simulation, CAD and process planning. Hence, when the cell and the database are updated a new model can easily be generated. The database is also connected to the real cell so up-to-date data can be retrieved from the real cell. The model generator described in this paper was implemented and tested in a discrete event system simulation tool and showed promising results. With this approach it is possible to handle flexible automation cells more effectively in a process planning stage.
  •  
43.
  •  
44.
  • Carlsson, Henrik, 1979-, et al. (författare)
  • Methods for Reliable Simulation-Based PLC Code Verification
  • 2012
  • Ingår i: IEEE Transactions on Industrial Informatics. - 1941-0050 .- 1551-3203. ; 8:2, s. 267-278
  • Tidskriftsartikel (refereegranskat)abstract
    • Simulation-based programmable logic controller (PLC) code verification is a part of virtual commissioning, where the control code is verified against a virtual prototype of an application. With today's general OPC interface, it is easy to connect a PLC to a simulation tool for, e. g., verification purposes. However, there are some problems with this approach that can lead to an unreliable verification result. In this paper, four major problems with the OPC interface are described, and two possible solutions to the problems are presented: a general IEC 61131-3-based software solution, and a new OPC standard solution.
  •  
45.
  •  
46.
  •  
47.
  •  
48.
  • Christiansson, Anna-Karin, 1947-, et al. (författare)
  • Low order sampled-data H∞ control
  • 2003
  • Ingår i: Decision and Control, 2003. Proceedings. 42nd IEEE Conference on. ; 3, s. 2308 - 2313
  • Konferensbidrag (refereegranskat)abstract
    • A method for obtaining low order sampled-data H∞ controllers is presented. The method is mainly based on a parametric static feedback controller for a plant that is augmented with the controller dynamics. The design of a full-order controller is a convex problem, while the optimisation problem for lower order controllers is non convex. The proposed method starts with design of a full-order sampled-data controller using Riccati equations. Then this controller is reduced by an ordinary model reduction technique, and the reduced controller is used as an initial value for an iterative procedure using linear matrix inequalities (LMIs) in the search for an optimal controller. The matrix inequalities are in fact linear in either the Lyapunov matrix or the static controller matrix, why the solution to the non convex problem fundamentally is given by a bilinear matrix inequality (BMI). The order of the controller is reduced until the closed loop performance degrades too much. Simulations are shown for the control of a time delayed SISO-plant where the controller order can be reduced from 8th to 3rd order. Results are also shown from control of a MIMO-model of a jet engine where the reduction is successful from 15th to 4th order. It is argued that the non convexity is handled efficiently since the procedure uses a model reduction of the full-order controller as initial value.
  •  
49.
  • Christiansson, Anna-Karin, 1947-, et al. (författare)
  • Mixed continuous/discrete-time output feedback H∞ control : A unified approach
  • 1999
  • Ingår i: European Control Conference, ECC 1999 - Conference Proceedings. - 9783952417355 ; , s. 4077-4082
  • Konferensbidrag (refereegranskat)abstract
    • A Riccati equation (RE) based solution to the H∞ optimal control problem for mixed continuous/discrete-time systems is presented. The results unify a number of recently penetrated H∞ control problems. In the infinite-horizon case a periodic behaviour is assumed, and it is shown how the related continuous RE with jumps can be replaced by an equivalent discrete periodic RE. A related algebraic RE, which involves the system behaviour during one period, then can be formulated and solved by standard methods. Typical applications are control of continuous-time or discrete-time periodic systems, as well as multirate and sampled-data control, including mixed continuous and sampled-data measurements. © 1999 EUCA.
  •  
50.
  • Christiansson, Anna-Karin, 1947, et al. (författare)
  • Sampled-Data H-infinity-Control for Time-Varying Hybrid Systems
  • 2001
  • Ingår i: Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms. - 1492-8760. ; 8:4, s. 427-444
  • Tidskriftsartikel (refereegranskat)abstract
    • This paper presents sampled-data H-infinity-control of linear mixed continuous-time and discrete-time systems, including a mix of continuous-time and discrete-time performance signals and disturbances. However, neither continuous-time control signals nor continuous-time measurements are included. The sampling may well be multirate, i.e. different signals may be sampled by different rates, as long as a periodic pattern is repeated over the period, consisting of a number of sampling steps. In fact, the results are applicable even to arbitrary linear time-varying systems.The sampled-data system is discretised such that the continuous-time performance is reflected in the discretised or "lifted" system. This lifted system is combined with discrete-time updates at the sampling instants to achieve the sampled-data controller. The "hold-states" case is presented as a special application, when there is also a hold circuit at the controller output. The continuous-time Riccati equations with discrete-time updates then can be replaced by one discrete-time static feedback and filter Riccati equation respectively, which also reflect the intersample behaviour.Furthermore, convergence results between the discretised Riccati solutions and the corresponding continuous-time solutions are shown, when the sampling interval decreases towards zero, Simulations are shown when the results are applied to the control of a MIMO jet-engine model.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 41-50 av 337
Typ av publikation
konferensbidrag (248)
tidskriftsartikel (88)
forskningsöversikt (1)
Typ av innehåll
refereegranskat (337)
Författare/redaktör
Fabian, Martin, 1960 (70)
Bengtsson, Kristofer ... (39)
Wigström, Oskar, 198 ... (28)
Falkman, Petter, 197 ... (26)
Christiansson, Anna- ... (23)
visa fler...
Åkesson, Knut, 1972 (22)
Miremadi, Sajed, 198 ... (20)
Fransson, Carl-Magnu ... (18)
Riazi, Sarmad, 1986 (18)
Danielsson, Fredrik, ... (17)
Svensson, Bo, 1959- (16)
Andreasson, Sven Arn ... (14)
Gullander, Per, 1968 (14)
Pettersson, Stefan, ... (14)
Tittus, Michael, 196 ... (14)
Adlemo, Anders, 1957 (12)
Noori-Hosseini, Mona ... (11)
Kristiansson, Birgit ... (11)
Andersson, Kristin, ... (10)
Vahidi Mazinani, Ara ... (10)
Hellgren, Anders, 19 ... (10)
Fei, Zhennan, 1984 (10)
Sundström, Nina, 198 ... (10)
Carlson, Johan, 1972 (9)
Bondeson, Anders, 19 ... (9)
Breitholtz, Claes, 1 ... (9)
Mashaei, Maziar, 197 ... (9)
Liu, Yueqiang, 1971 (8)
Yuan, Chengyin (8)
Sikström, Fredrik, 1 ... (7)
Cronrath, Constantin ... (7)
Wik, Torsten, 1968 (6)
Björkenstam, Staffan ... (6)
Gleeson, Daniel, 198 ... (6)
Heralic, Almir, 1981 ... (6)
Toivonen, H.T. (6)
Hovgard, Mattias, 19 ... (6)
Lindgärde, Olof, 196 ... (6)
Alenljung, Tord, 197 ... (5)
Richardsson, Johan, ... (5)
Thorstensson, Carl, ... (5)
Provost, Julien, 198 ... (5)
Glorieux, Emile (5)
Kanthabhabhajeya, Sa ... (5)
Nielsen, Johan (4)
Danielsson, Fredrik (4)
Hagebring, Fredrik, ... (4)
Gutman, Per-Olof, 19 ... (4)
Glorieux, Emile, 198 ... (4)
visa färre...
Lärosäte
Chalmers tekniska högskola (326)
Högskolan Väst (39)
Kungliga Tekniska Högskolan (5)
Göteborgs universitet (1)
Lunds universitet (1)
Högskolan i Borås (1)
visa fler...
RISE (1)
visa färre...
Språk
Engelska (337)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (212)
Teknik (182)
Medicin och hälsovetenskap (2)
Lantbruksvetenskap (1)
Samhällsvetenskap (1)

Å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