Cooperative product agents to improve manufacturing system flexibility: A model-based decision framework

I Kovalenko, EC Balta, DM Tilbury… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Due to the advancements in manufacturing system technology and the ever-increasing
demand for personalized products, there is a growing desire to improve the flexibility of …

Model predictive control of priced timed automata encoded with first-order logic

EC Balta, I Kovalenko, IA Spiegel… - … on Control Systems …, 2021 - ieeexplore.ieee.org
Priced timed automata (PTA) are discrete-event system models with temporal constraints
and a cost function and are used to pose optimal scheduling and routing problems. To date …

Risk-averse model predictive control for priced timed automata

MT Anbarani, EC Balta, R Meira-Góes… - 2023 American …, 2023 - ieeexplore.ieee.org
In this paper, we propose a Risk-Averse Priced Timed Automata (PTA) Model Predictive
Control (MPC) framework to increase flexibility of cyber-physical systems. To improve …

SMT-Based Dynamic Multi-Robot Task Allocation

VM Tuck, PW Chen, G Fainekos, B Hoxha… - NASA Formal Methods …, 2024 - Springer
Abstract Multi-Robot Task Allocation (MRTA) is a problem that arises in many application
domains including package delivery, warehouse robotics, and healthcare. In this work, we …

Priced timed automata models for control of intelligent product agents in manufacturing systems

I Kovalenko, D Tilbury, K Barton - IFAC-PapersOnLine, 2020 - Elsevier
To enable product customization and incorporate customer requirements during production,
there is a need to integrate more flexible control strategies into the shop floor. One type of …

Formalizing safety, perception, and mission requirements for testing and planning in autonomous vehicles

M Hekmatnejad - 2021 - search.proquest.com
Autonomous Vehicles (AV) are inevitable entities in future mobility systems that demand
safety and adaptability as two critical factors in replacing/assisting human drivers. Safety …

Intelligent product agents for multi-agent control of manufacturing systems

I Kovalenko - 2020 - deepblue.lib.umich.edu
The current manufacturing paradigm is shifting toward more flexible manufacturing systems
that produce highly personalized products, adapt to unexpected disturbances in the system …

Modeling and Intelligent Control for Spatial Processes and Spatially Distributed Systems

E Balta - 2021 - deepblue.lib.umich.edu
Dynamical systems are often characterized by their time-dependent evolution, named
temporal dynamics. The space-dependent evolution of dynamical systems, named spatial …

Optimization and Modeling Techniques for Food Service Appliances

E Pippia - 2021 - air.uniud.it
In the last couple of years food service sector is embracing the fourth industrial revolution.
Electrolux Professional, as a leader in this sector, is continuously searching for smart …

Check for SMT-Based Dynamic Multi-Robot Task Allocation Victoria Marie Tuck¹ (), Pei-Wei Chen¹ (), Georgios Fainekos², Bardh Hoxha², Hideki Okamoto², S. Shankar …

VM Tuck¹, G Fainekos, B Hoxha… - … Field, CA, USA, June 4–6 … - books.google.com
Multi-Robot Task Allocation (MRTA) is a problem that arises in many application domains
including package delivery, warehouse robotics, and healthcare. In this work, we consider …