Michael Cantoni

Modeling and Control of Pipeline Networks Supplied by Automated Irrigation Channels

B Mavkov, T Strecker, AC Zecchin, M Cantoni

Journal article  |  2022  |  Journal of Irrigation and Drainage Engineering

A model-based approach to control system design is developed for regulating the discharge flows at the outlets of a pipeline netwo..

Predictive feedback boundary control of semilinear and quasilinear 2 × 2 hyperbolic PDE–ODE systems

T Strecker, OM Aamo, M Cantoni

Journal article  |  2022  |  Automatica

We present a control design for semilinear and quasilinear 2 × 2 hyperbolic partial differential equations with the control input ..

Boundary Feedback Control of 2x2 Quasilinear Hyperbolic Systems: Predictive Synthesis and Robustness Analysis

Timm Strecker, Ole Morten Aamo, Michael Cantoni

Journal article  |  2022  |  IEEE TRANSACTIONS ON AUTOMATIC CONTROL

We present a predictive feedback control method for a class of quasilinear hyperbolic systems with one boundary control input. Ass..

MITL Verification Under Timing Uncertainty

Daniel Selvaratnam, Michael Cantoni, JM Davoren, Iman Shames

Book Chapter  |  2022  |  Lecture Notes in Computer Science

A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying o..

Switched control of over-topping water channels

T Strecker, M Cantoni, E Weyer

Journal article  |  2022  |  IFAC-PapersOnLine

Automated open-water channels are used to deliver water for irrigation in an efficient manner. In the distant-downstream control a..

Sampling polynomial trajectories for LTL verification

Daniel Selvaratnam, Michael Cantoni, JM Davoren, Iman Shames

Journal article  |  2021  |  THEORETICAL COMPUTER SCIENCE

This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specification..

Rigid-Profile Input Scheduling Under Constrained Dynamics With a Water Network Application

Adair Lang, Michael Cantoni, Farhad Farokhi, Iman Shames

Journal article  |  2021  |  IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

The motivation for this work stems from the problem of scheduling requests for flow at supply points located throughout an automat..

Integral Quadratic Constraints for Asynchronous Sample-and-Hold Links

Michael Cantoni, Chung-Yao Kao, Mark A Fabbro

Journal article  |  2021  |  IEEE TRANSACTIONS ON AUTOMATIC CONTROL

A model is proposed for a class of asynchronous sample-and-hold operators that is relevant to the analysis of embedded and network..

Co-Optimizing Virtual Power Plant Services Under Uncertainty: A Robust Scheduling and Receding Horizon Dispatch Approach

James Naughton, Han Wang, Michael Cantoni, Pierluigi Mancarella

Journal article  |  2021  |  IEEE TRANSACTIONS ON POWER SYSTEMS

Market and network integration of distributed energy resources can be facilitated by their coordination within a virtual power pla..

Asynchronous links that re-order samples: An L-2 gain embedding

Mark A Fabbro, Michael Cantoni

Journal article  |  2021  |  IFAC PAPERSONLINE

An embedding of the uncertain time-varying delay associated with a class of asynchronous sampled-data links is devised in terms of..