The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bengt Lennartson" ( http://dblp.L3S.de/Authors/Bengt_Lennartson )

URL (Homepage):  https://scholar.google.com/citations?user=T5S0sQIAAAAJ  Author page on DBLP  Author page in RDF  Community of Bengt Lennartson in ASPL-2

Publication years (Num. hits)
1989-2005 (15) 2006-2010 (20) 2011-2012 (29) 2013-2014 (29) 2015-2016 (18) 2017-2018 (16) 2019 (8)
Publication types (Num. hits)
article(42) inproceedings(92) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 136 publication records. Showing 135 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fredrik Hagebring, Bengt Lennartson Time-optimal control of large-scale systems of systems using compositional optimization. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Constantin Cronrath, Abolfazl R. Aderiani, Bengt Lennartson Enhancing Digital Twins through Reinforcement Learning. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Thomas Diding, Petter Falkman, Kristofer Bengtsson, Bengt Lennartson Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Gleeson, Christian Larsen, Johan S. Carlson, Bengt Lennartson Implementation of a Rapidly Executing Robot Controller. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mona Noori Hosseini, Bengt Lennartson Incremental Abstraction for Diagnosability Verification of Modular Systems. Search on Bibsonomy ETFA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances. Search on Bibsonomy ETFA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis Incremental Observer Reduction Applied to Opacity Verification and Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nina Sundström, Oskar Wigström, Bengt Lennartson Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting. Search on Bibsonomy CASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson Parallelization of a gossip algorithm for vehicle routing problems. Search on Bibsonomy CASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fredrik Hagebring, Bengt Lennartson Compositional Optimization of Discrete Event Systems. Search on Bibsonomy CASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rong Su, Bengt Lennartson Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates. Search on Bibsonomy Automatica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson A Supervisory Control Algorithm Based on Property-Directed Reachability. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emile Glorieux, Bo Svensson, Fredrik Danielsson, Bengt Lennartson Constructive cooperative coevolution for large-scale global optimisation. Search on Bibsonomy J. Heuristics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson Energy and Peak Power Optimization of Time-Bounded Robot Trajectories. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Fabian, Bengt Lennartson, Knut Åkesson Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Oskar Wigström, Bengt Lennartson Conflict Between Energy, Stability, and Robustness in Production Schedules. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson Energy and peak-power optimization of time-bounded robot trajectories. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Oskar Wigström, Bengt Lennartson Conflict between energy, stability and robustness in production schedules. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Nikolce Murgovski, Sarmad Riazi, Bengt Lennartson Computationally efficient energy optimization of multiple robots. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson From trapezoid to polynomial: Next-generation energy-efficient robot trajectories. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson A Supervisory Control Algorithm Based on Property-Directed Reachability. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson Decomposition and distributed algorithms for home healthcare routing and scheduling problem. Search on Bibsonomy ETFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Bengt Lennartson Symbolic On-the-Fly Synthesis in Supervisory Control Theory. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström, Sarmad Riazi Modeling and Optimization of Hybrid Systems for the Tweeting Factory. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Oskar Wigström, Sarmad Riazi, Bengt Lennartson On the conflict between energy, stability and robustness in production schedules. Search on Bibsonomy CASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Constantin Cronrath, Bengt Lennartson, Marco Lemessi Energy reduction in paint shops through energy-sensitive on-off control. Search on Bibsonomy CASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Kristofer Bengtsson, Rainer Bischoff 0002, Andreas Aurnhammer, Oskar Wigström, Bengt Lennartson Energy and peak-power optimization of existing time-optimal robot trajectories. Search on Bibsonomy CASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Bengt Lennartson Rescheduling affected operations - a purely predictive approach. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su Comparing MILP, CP, and A* for multiple stacker crane scheduling. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mona Noori Hosseini, Bengt Lennartson Diagnosability verification using compositional branching bisimulation. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson Symbolic Supervisory Control of Timed Discrete Event Systems. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson Modeling and Optimization of Hybrid Systems. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcello Pellicciari, A. Avotins, Kristofer Bengtsson, Giovanni Berselli, N. Bey, Bengt Lennartson, Davis Meike AREUS - Innovative hardware and software for sustainable industrial robotics. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Gleeson, Staffan Bjorkenstam, Robert Bohlin, Johan S. Carlson, Bengt Lennartson Optimizing robot trajectories for automatic robot code generation. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Kristofer Bengtsson, Oskar Wigström, Emma Vidarsson, Bengt Lennartson Energy optimization of multi-robot systems. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fredrik Sikström, Anna-Karin Christiansson, Bengt Lennartson Model based feedback control of gas tungsten arc welding - An experimental study. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström Optimization of hybrid Petri nets with shared variables. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Staffan Bjorkenstam, Johan S. Carlson, Bengt Lennartson Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning. Search on Bibsonomy CASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Bengt Lennartson From time-optimal schedule to robust event-based control. Search on Bibsonomy ETFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emile Glorieux, Bo Svensson, Fredrik Danielsson, Bengt Lennartson Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson Supervisory Control for State-Vector Transition Models - A Unified Approach. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson Symbolic Representation and Computation of Timed Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kristofer Bengtsson, Bengt Lennartson Flexible Specification of Operation Behavior Using Multiple Projections. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson Towards integrated OR/CP energy optimization for robot cells. Search on Bibsonomy ICRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Richard H. Middleton Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control. Search on Bibsonomy CDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emile Glorieux, Fredrik Danielsson, Bo Svensson, Bengt Lennartson Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach. Search on Bibsonomy CASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson Energy reduction in cyclic flow shop plants through on-off control of robots. Search on Bibsonomy CASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems. Search on Bibsonomy WODES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson (eds.) 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. Search on Bibsonomy WODES The full citation details ... 2014 DBLP  BibTeX  RDF
1Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. Search on Bibsonomy WODES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Bengt Lennartson Symbolic Interpretation and Execution of Extended Finite Automata. Search on Bibsonomy WODES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson Supervisory Control of Discrete-Event Systems via IC3. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sathyamyla Kanthabhabhajeya, Bengt Lennartson Optimal performance of modular and synchronized mechatronic systems. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kristofer Bengtsson, Bengt Lennartson Patient coordination in emergency departments using an event-based information architecture. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mona Noori Hosseini, Bengt Lennartson Verification of diagnosability based on compositional branching bisimulation. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson, Alberto Vergnano, Claes Breitholtz High-Level Scheduling of Energy Optimal Trajectories. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jingshan Li, James R. Morrison, Mike Tao Zhang, Masaru Nakano, Stephan Biller, Bengt Lennartson Editorial: Automation in green manufacturing. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson Sustainable and Robust Control of Cyclic Pallet Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson Sustainable production automation - energy optimization of robot cells. Search on Bibsonomy ICRA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost. Search on Bibsonomy CDC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson Concurrent design and control of automated material handling systems. Search on Bibsonomy CASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kristofer Bengtsson, Bengt Lennartson Operation behavior modeling using relation identification and visualization algorithms. Search on Bibsonomy CASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Staffan Bjorkenstam, Daniel Gleeson, Robert Bohlin, Johan S. Carlson, Bengt Lennartson Energy efficient and collision free motion of industrial robots using optimal control. Search on Bibsonomy CASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kristofer Bengtsson, Bengt Lennartson Patient coordination in emergency departments using visualization of operation behavior. Search on Bibsonomy CICARE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu A survey on efficient diagnosability tests for automata and bounded Petri nets. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nina Sundström, Bengt Lennartson Event- and time-based design of operation sequences with uncertainties in execution times. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson Benders/gossip methods for heterogeneous multi-vehicle routing problems. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Henrik Carlsson, Bo Svensson, Fredrik Danielsson, Bengt Lennartson Methods for Reliable Simulation-Based PLC Code Verification. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Richard H. Middleton, Ivar Gustafsson Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Bengt Lennartson, Knut Åkesson A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. Search on Bibsonomy IEEE Trans. Contr. Sys. Techn. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fredrik Sikström, Anna-Karin Christiansson, Bengt Lennartson Model order reduction methods applied to a welding model. Search on Bibsonomy J. Systems & Control Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Vergnano, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari, Francesco Leali, Stephan Biller Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman Sequence Planning Using Multiple and Coordinated Sequences of Operations. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson Supervisory control of extended finite automata using transition projection. Search on Bibsonomy CDC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson Symbolic computation of nonblocking control function for timed discrete event systems. Search on Bibsonomy CDC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Richard H. Middleton Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods. Search on Bibsonomy CDC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Nina Sundström, Bengt Lennartson Optimization of Hybrid Systems with Known Paths. Search on Bibsonomy ADHS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson Abstractions for nonblocking supervisory control of Extended Finite Automata. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson Sustainable and robust control of cyclic pallet systems. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson Scheduling model for systems with complex alternative behaviour. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson Efficient geometrical simulation and virtual commissioning performed in stamping. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson A universal framework for lean design and control of automated material handling systems. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre Planning in assembly systems - A common modeling for products and resources. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson State-vector transition model applied to supervisory control. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anders Ryberg, Bengt Lennartson, Anna-Karin Christiansson, Mikael Ericsson, Lars Asplund Analysis and evaluation of a general camera model. Search on Bibsonomy Computer Vision and Image Understanding The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Knut Åkesson, Bengt Lennartson Symbolic Computation of Reduced Guards in Supervisory Control. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhennan Fei, Knut Åkesson, Bengt Lennartson Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. Search on Bibsonomy ICRA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oskar Wigström, Bengt Lennartson Energy optimization of trajectories for high level scheduling. Search on Bibsonomy CASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maziar Mashaei, Bengt Lennartson, Göran Abbestam Green and lean control of cyclic pallet systems. Search on Bibsonomy CASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sajed Miremadi, Bengt Lennartson, Knut Åkesson BDD-based supervisory control on extended finite automata. Search on Bibsonomy CASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. Search on Bibsonomy ICAART (1) The full citation details ... 2011 DBLP  BibTeX  RDF
1Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bo Svensson, Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm. Search on Bibsonomy ETFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson Reduced-order synthesis of operation sequences. Search on Bibsonomy ETFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 135 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license