Cooperative product agents to improve manufacturing system flexibility: A model-based decision framework
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 …
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
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 …
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
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 …
Control (MPC) framework to increase flexibility of cyber-physical systems. To improve …
SMT-Based Dynamic Multi-Robot Task Allocation
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 …
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
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 …
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 …
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 …
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 …
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 …
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 …
including package delivery, warehouse robotics, and healthcare. In this work, we consider …