Bengt Lennartson

IEEE Trans Autom. Sci. Eng., January, 2024

2023

Energy reduction of stochastic time-constrained robot stations.

[BibT_eX]

[DOI]

Robotics Comput. Integr. Manuf., June, 2023

In Memoriam.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., April, 2023

Peter Luh, the Father of Automation [In Memoriam].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., March, 2023

Reinforcement Learning for Safety Testing: Lessons from A Mobile Robot Case Study.

[BibT_eX]

[DOI]

CoRR, 2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Efficient Safety Verification of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

On Optimization of Automation Systems: Integrating Modular Learning and Optimization.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2022

Generating Optimized Trajectories for Robotic Spray Painting.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2022

State-Labeled Safety Analysis of Modular Observers for Opacity Verification.

[BibT_eX]

[DOI]

Christoforos N. Hadjicostis

IEEE Control. Syst. Lett., 2022

Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Relevant Safety Falsification by Automata Constrained Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Goal-Oriented Process Plans in a Multiagent System for Plug & Produce.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Using CP/SMT Solvers for Scheduling and Routing of AGVs.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2021

Energy Optimization of Large-Scale AGV Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2021

Co-simulation of Rigid Interactions Using Differential Algebraic Equations.

[BibT_eX]

[DOI]

Ludvig Svedlund

Anton Albo

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Online Energy-Optimal Timing of Stochastic Robot Stations.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Instability Problems in Co-Simulation of Modular Systems.

[BibT_eX]

[DOI]

Ludvig Ekström

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Efficient Temporal Logic Verification by Incremental Abstraction.

[BibT_eX]

[DOI]

Xudong Liang

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Robot spray painting trajectory optimization.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Formal Properties of the Digital Twin - Implications for Learning, optimization, and Control.

[BibT_eX]

[DOI]

Ludvig Ekström

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2019

Robust and energy efficient trajectories for robots in a common workspace setting.

[BibT_eX]

[DOI]

IISE Trans., 2019

Time-optimal control of large-scale systems of systems using compositional optimization.

[BibT_eX]

[DOI]

Fredrik Hagebring

Discret. Event Dyn. Syst., 2019

Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Incremental Abstraction for Diagnosability Verification of Modular Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Implementation of a Rapidly Executing Robot Controller.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Enhancing Digital Twins through Reinforcement Learning.

[BibT_eX]

[DOI]

Abolfazl Rezaei Aderiani

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Incremental Observer Reduction Applied to Opacity Verification and Synthesis.

[BibT_eX]

[DOI]

Christoforos N. Hadjicostis

CoRR, 2018

Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Parallelization of a gossip algorithm for vehicle routing problems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Compositional Optimization of Discrete Event Systems.

[BibT_eX]

[DOI]

Fredrik Hagebring

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

Conflict Between Energy, Stability, and Robustness in Production Schedules.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Energy and Peak Power Optimization of Time-Bounded Robot Trajectories.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

An event-driven manufacturing information system architecture for Industry 4.0.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2017

Constructive cooperative coevolution for large-scale global optimisation.

[BibT_eX]

[DOI]

J. Heuristics, 2017

Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates.

[BibT_eX]

[DOI]

Rong Su

Autom., 2017

A Supervisory Control Algorithm Based on Property-Directed Reachability.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

Decomposition and distributed algorithms for home healthcare routing and scheduling problem.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Computationally efficient energy optimization of multiple robots.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

From trapezoid to polynomial: Next-generation energy-efficient robot trajectories.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Symbolic On-the-Fly Synthesis in Supervisory Control Theory.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Modeling and Optimization of Hybrid Systems for the Tweeting Factory.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2016

Rescheduling affected operations - a purely predictive approach.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Diagnosability verification using compositional branching bisimulation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Comparing MILP, CP, and A* for multiple stacker crane scheduling.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On the conflict between energy, stability and robustness in production schedules.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Energy and peak-power optimization of existing time-optimal robot trajectories.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Energy reduction in paint shops through energy-sensitive on-off control.

[BibT_eX]

[DOI]

Marco Lemessi

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Symbolic Supervisory Control of Timed Discrete Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

From time-optimal schedule to robust event-based control.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Model based feedback control of gas tungsten arc welding - An experimental study.

[BibT_eX]

[DOI]

Fredrik Sikström

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Energy optimization of multi-robot systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

AREUS - Innovative hardware and software for sustainable industrial robotics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimization of hybrid Petri nets with shared variables.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimizing robot trajectories for automatic robot code generation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning.

[BibT_eX]

[DOI]

Staffan Bjorkenstam

Johan S. Carlson

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Modeling and Optimization of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2014

Symbolic Representation and Computation of Timed Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Flexible Specification of Operation Behavior Using Multiple Projections.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Symbolic Interpretation and Execution of Extended Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Towards integrated OR/CP energy optimization for robot cells.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Supervisory Control of Discrete-Event Systems via IC3.

[BibT_eX]

[DOI]

Laura Kovács

Sathyamyla Kanthabhabhajeya

Proceedings of the Hardware and Software: Verification and Testing, 2014

Optimal performance of modular and synchronized mechatronic systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Verification of diagnosability based on compositional branching bisimulation.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Patient coordination in emergency departments using an event-based information architecture.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control.

[BibT_eX]

[DOI]

Richard H. Middleton

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Energy reduction in cyclic flow shop plants through on-off control of robots.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013

High-Level Scheduling of Energy Optimal Trajectories.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

Sustainable and Robust Control of Cyclic Pallet Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

Editorial: Automation in green manufacturing.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2013

Sustainable production automation - energy optimization of robot cells.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Event- and time-based design of operation sequences with uncertainties in execution times.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Benders/gossip methods for heterogeneous multi-vehicle routing problems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Patient coordination in emergency departments using visualization of operation behavior.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Healthcare and e-health, 2013

Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Concurrent design and control of automated material handling systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Energy efficient and collision free motion of industrial robots using optimal control.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Operation behavior modeling using relation identification and visualization algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012

Methods for Reliable Simulation-Based PLC Code Verification.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2012

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2012

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2012

Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators.

[BibT_eX]

[DOI]

Richard H. Middleton

Ivar Gustafsson

IEEE Trans. Autom. Control., 2012

Model order reduction methods applied to a welding model.

[BibT_eX]

[DOI]

Fredrik Sikström

J. Syst. Control. Eng., 2012

Planning in assembly systems - A common modeling for products and resources.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Efficient geometrical simulation and virtual commissioning performed in stamping.

[BibT_eX]

[DOI]

Nima Khansari Nia

Fredrik Danielsson

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A universal framework for lean design and control of automated material handling systems.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

State-vector transition model applied to supervisory control.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Supervisory control of extended finite automata using transition projection.

[BibT_eX]

[DOI]

Lei Feng

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Symbolic computation of nonblocking control function for timed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods.

[BibT_eX]

[DOI]

Richard H. Middleton

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Scheduling model for systems with complex alternative behaviour.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Abstractions for nonblocking supervisory control of Extended Finite Automata.

[BibT_eX]

[DOI]

Lei Feng

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Optimization of Hybrid Systems with Known Paths.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Symbolic Computation of Reduced Guards in Supervisory Control.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2011

Analysis and evaluation of a general camera model.

[BibT_eX]

[DOI]

Anders Ryberg

Mikael Ericsson

Lars Asplund

Comput. Vis. Image Underst., 2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.

[BibT_eX]

[DOI]

Zhennan Fei

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.

[BibT_eX]

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Reduced-order synthesis of operation sequences.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Energy optimization of trajectories for high level scheduling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

BDD-based supervisory control on extended finite automata.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Green and lean control of cyclic pallet systems.

[BibT_eX]

[DOI]

Göran Abbestam

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2010

Sequence Planning for Integrated Product, Process and Automation Design.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Restarting Manufacturing Systems; Restart States and Restartability.

[BibT_eX]

[DOI]

Kristin Andersson

IEEE Trans Autom. Sci. Eng., 2010

Supervisor computation and representation: A case study.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Embedding detailed robot energy optimization into high-level scheduling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Automatic generation of controllers for collision-free flexible manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Relations identification and visualization for sequence planning and automation design.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Nonconservative Robust Control: Optimized and Constrained Sensitivity Functions.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2009

Special Issue on WODES'08.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

Simulation based Optimization of a Sheet-metal Press Line.

[BibT_eX]

[DOI]

Bo Svensson

Fredrik Danielsson

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Operation-oriented specification for integrated control logic development.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Generation of restart states for manufacturing systems with discarded workpieces.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Formal verification of PLC controlled systems using Sensor Graphs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control.

[BibT_eX]

[DOI]

Johan Nielsen

Astrid von Euler-Chelpin

IEEE Trans Autom. Sci. Eng., 2008

2007

Specification of Production Systems using PPN and Sequential Operation Charts.

[BibT_eX]

[DOI]

Kristin Andersson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Semantics of Sensor Activation Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.

[BibT_eX]

[DOI]

Arash Vahidi

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control architecture for flexible production systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Specification of a batch plant using process algebra and Petri nets.

[BibT_eX]

[DOI]

Michael Tittus

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Implementation of full synchronous composition using IEC 61499 function blocks.

[BibT_eX]

[DOI]

Placid Mathew Ferreira

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2004

Low order sampled data H∞ control using the delta operator and LMIs.

[BibT_eX]

[DOI]

Rick Middleton

Tomas McKelvey

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Unified, periodic & sampled data H∞ control using the delta operator.

[BibT_eX]

[DOI]

Rick Middleton

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Low order multicriteria H∞ design via bilinear matrix inequalities.

[BibT_eX]

[DOI]

Carl-Magnus Fransson

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Low order sampled-data control.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Global convergence analysis for piecewise linear systems applied to limit cycles in a DC/DC converter.

[BibT_eX]

[DOI]

Marcus Rubensson

Proceedings of the American Control Conference, 2002

Control analysis for non-axisymmetric resistive wall mode stabilization in the DIII-D tokamak.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Sampled-data H∞-control for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Multi criteria controller design for uncertain MIMO systems using global non-convex optimization.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Efficient application of symbolic tools for resource booking problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

Stabilization of hybrid systems using a min-projection strategy.

[BibT_eX]

[DOI]

Stefan Pettersson

Proceedings of the American Control Conference, 2001

Robust PI and PID controllers including Smith predictor structure.

[BibT_eX]

[DOI]

Birgitta Kristiansson

Proceedings of the American Control Conference, 2001

H∞ control for uncertain plants using Horowitz bounds.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

Combined process algebra and Petri nets for specification of resource booking problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

2000

State-space solution to the periodic multirate H∞ control problem: a lifting approach.

[BibT_eX]

[DOI]

Mats Sågfors

IEEE Trans. Autom. Control., 2000

Perspectives and results on the stability and stabilizability of hybrid systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2000

Stability of Hybrid Systems Using LMIs - A Gear-Box Application.

[BibT_eX]

[DOI]

Stefan Pettersson

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques.

[BibT_eX]

[DOI]

Marcus Rubensson

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

H∞-control and frequency analysis for systems with mixed continuous-time and discrete-time measurements.

[BibT_eX]

[DOI]

Olof Lindgärde

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

From PI to H∞ control in a unified framework.

[BibT_eX]

[DOI]

Birgitta Kristiansson

Carl-Magnus Fransson

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

ℋ∞ control of unstable, uncertain systems using Horowitz bounds.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Continuous, discrete and sampled data H∞ control-a unified framework.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Stability and robustness of hybrid systems using discrete-time Lyapunov techniques.

[BibT_eX]

[DOI]

Marcus Rubensson

Proceedings of the American Control Conference, 2000

1999

Hierarchical supervisory control for batch processes.

[BibT_eX]

[DOI]

Michael Tittus

IEEE Trans. Control. Syst. Technol., 1999

Frequency analysis for mixed continuous-time and discrete-time periodic systems.

[BibT_eX]

[DOI]

Olof Lindgärde

Proceedings of the 5th European Control Conference, 1999

Mixed continuous/discrete-time output feedback H∞ control - A unified approach.

[BibT_eX]

[DOI]

Proceedings of the 5th European Control Conference, 1999

1998

H∞ Control of Multirate Sampled-Data Systems: A State-Space Approach.

[BibT_eX]

[DOI]

Mats Sågfors

Autom., 1998

Modeling, specification and controller synthesis for discrete event systems.

[BibT_eX]

[DOI]

Michael Tittus

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

A Class of Non-Deterministic Specifications for Supervisory Control.

[BibT_eX]

[DOI]

Eur. J. Control, 1997

Controller Design of Hybrid Systems.

[BibT_eX]

[DOI]

Stefan Pettersson

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

Performance modeling of automated manufacturing systems.

[BibT_eX]

[DOI]

Bo Egardt

Autom., 1995

Generic Resource Models and a Message-Passing Structure in an FMS Controller.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1990

On the choice of controller and sampling period for linear stochastic control.

[BibT_eX]

[DOI]

Autom., 1990

1989

Singular perturbation methods in control: Analysis and design: Petar Kokotović, Hassan K. Khalil and John O'Reilly.

[BibT_eX]

[DOI]