Feb 15, 2021 · Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal ...

Jan 1, 2022 · Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal ...

Abstract—Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal scheduling ...

PDF | Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal scheduling.

Oct 12, 2020 · Barton, “Model Predictive. Control of Priced Timed Automata Encoded with First-Order Logic,” IEEE Transactions on. Control Systems Technology, ...

Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal scheduling and ...

Dive into the research topics of 'Model Predictive Control of Priced Timed Automata Encoded with First-Order Logic'. Together they form a unique fingerprint.

2021. Model predictive control of priced timed automata encoded with first-order logic. EC Balta, I Kovalenko, IA Spiegel, DM Tilbury, K Barton. IEEE ...

Oct 27, 2022 · Specifically, this work describes an MPC architecture that utilizes PTA models to encode time-based constraints ... first-order logic,” vol. 30, ...

Details of the first-order logic representation in 'model predictive control of priced timed automata encoded with first-order logic. EC Balta, I Kovalenko ...