BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michael Cantoni

Michael Cantoni appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCSystems and ControlComputer Science and Game Theoryeess.SYLogic in Computer ScienceCryptography and Securityeess.SPFormal Languages and Automata Theorymath.NA

Catalog footprint

What is connected

11works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Event-triggered boundary control of 2x2 semilinear hyperbolic systems

We present an event-triggered boundary control scheme for hyperbolic systems. The trigger condition is based on predictions of the state on determinate sets, where the control input is only updated if the predictions deviate from the reference by a given margin. Closed-loop stability and absence of Zeno behaviour is established analytically. For the special case of linear systems, the trigger condition can be expressed in closed-form as an $L_2$-scalar product of kernels with the distributed state. The presented controller can also be combined with existing observers to solve the event-triggered output-feedback control problem. A numerical simulation demonstrates the effectiveness of the proposed approach.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

MITL Verification Under Timing Uncertainty

A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying on high frequency sampling. Instead, it is assumed that collections of over- and under-approximating intervals are available for the times at which the individual atomic propositions hold true for a given signal. These are combined inductively to generate corresponding over- and under-approximations for the specified MITL formula. The gap between the over- and under-approximations reflects timing uncertainty with respect to the signal being verified, thereby providing a quantitative measure of the conservativeness of the algorithm. The verification is exact when the over-approximations for the atomic propositions coincide with the under-approximations. Numerical examples are provided to illustrate.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sampling Polynomial Trajectories for LTL Verification

This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is assumed to represent a state space region described by a multivariate polynomial inequality. The proposed approach samples a trajectory strategically, to capture every one of its region transitions. This yields a discrete word called a trace, which is amenable to established formal methods for path checking. The original continuous-time trajectory is shown to satisfy the specification if and only if its trace does. General topological conditions on the sample points are derived that ensure a trace is recorded for arbitrary continuous paths, given arbitrary region descriptions. Using techniques from computer algebra, a trace generation algorithm is developed to satisfy these conditions when the path and region boundaries are defined by polynomials. The proposed PolyTrace algorithm has polynomial complexity in the number of atomic propositions, and is guaranteed to produce a trace of any polynomial path. Its performance is demonstrated via numerical examples and a case study from robotics.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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

We present a predictive feedback control method for a class of quasilinear hyperbolic systems with one boundary control input. Assuming exact model knowledge, convergence to the origin, or tracking at the uncontrolled boundary, are achieved in finite time. A robustness certificate is provided, showing that at least under more restrictive assumptions on the system coefficients, the control method has inherent robustness properties with respect to small errors in the model, measurements and control input. Rigorous, although conservative conditions on the time derivative of the initial condition and on the design parameter controlling the convergence speed are given to ensure global existence of the solution for initial conditions with arbitrary infinity-norm.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Integral quadratic constraints for asynchronous sample-and-hold links

A model is proposed for a class of asynchronous sample-and-hold operators that is relevant in the analysis of embedded and networked systems. The model is parametrized by characteristics of the corresponding time-varying input-output delay. Uncertainty in the relationship between the timing of zero-order-hold update events at the output and the possibly aperiodic sampling events at the input means that the delay does not always reset to a fixed value. This is distinct from the well-studied synchronous case in which the delay intermittently resets to zero at output update times. The main result provides a family of integral quadratic constraints that covers the proposed model. To demonstrate an application of this result, robust $\mathbf{L}_2$ stability and performance certificates are devised for an asynchronous sampled-data implementation of a feedback loop around given linear time-invariant continuous-time open-loop dynamics. Numerical examples are also presented.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Rigid-profile input scheduling under constrained dynamics with a water network application

The motivation for this work stems from the problem of scheduling requests for flow at supply points along an automated network of open-water channels. The off-take flows are rigid-profile inputs to the system dynamics. In particular, the channel operator can only shift orders in time to satisfy constraints on the automatic response to changes in the load. This leads to a non-convex semi-infinite programming problem, with sum-separable cost that encodes the collective sensitivity of end users to scheduling delays. The constraints encode the linear time-invariant continuous-time dynamics and limits on the state across a \al{continuous} scheduling horizon. Discretization is used to arrive at a more manageable approximation of the semi-infinite program. A method for parsimoniously refining the discretization is applied to ensure continuous-time feasibility for solutions of the approximate problem. It is then shown how to improve cost without loss of feasibility. Supporting analysis is provided, along with simulation results for a realistic irrigation channel setup to illustrate the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Implementing Homomorphic Encryption Based Secure Feedback Control for Physical Systems

This paper is about an encryption based approach to the secure implementation of feedback controllers for physical systems. Specifically, Paillier's homomorphic encryption is used to digitally implement a class of linear dynamic controllers, which includes the commonplace static gain and PID type feedback control laws as special cases. The developed implementation is amenable to Field Programmable Gate Array (FPGA) realization. Experimental results, including timing analysis and resource usage characteristics for different encryption key lengths, are presented for the realization of an inverted pendulum controller; as this is an unstable plant, the control is necessarily fast.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Budget-Constrained Contract Design for Effort-Averse Sensors in Averaging Based Estimation

Consider a group of effort-averse, or lazy, sensors that seek to minimize the effort invested to collect measurements of a variable. Increasing the effort invested by the sensors improves the quality of the measurements provided to the central planner but this incurs increased costs to the sensors. The central planner, which processes the sensor measurements, employs an averaging estimator. It also determines contracts for rewarding sensors based on the measurements obtained. The problem of designing a contract that yields an estimation-error based quality-of-service level in return for the reward extended to sensors is investigated in this paper. To this end, a game is formulated between the central planner and the sensors. Conditions for the existence and uniqueness of an equilibrium are identified. The equilibrium is constructed explicitly and its properties in response to a reward based contract are studied. It turns out that the central planner, while not being able to directly measure the effort invested by the sensors, can enhance the estimation quality by rewarding each sensor based on the distance of its measurements from the output of the averaging estimator. Ultimately, optimal contracts are designed from the perspective of the budget required for achieving a specified level of estimation error.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Promoting Truthful Behaviour in Participatory-Sensing Mechanisms

In this paper, the interplay between a class of nonlinear estimators and strategic sensors is studied in several participatory-sensing scenarios. It is shown that for the class of estimators, if the strategic sensors have access to noiseless measurements of the to-be-estimated-variable, truth-telling is an equilibrium of the game that models the interplay between the sensors and the estimator. Furthermore, performance of the proposed estimators is examined in the case that the strategic sensors form coalitions and in the presence of noise.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quadratic Gaussian Privacy Games

A game-theoretic model for analysing the effects of privacy on strategic communication between agents is devised. In the model, a sender wishes to provide an accurate measurement of the state to a receiver while also protecting its private information (which is correlated with the state) private from a malicious agent that may eavesdrop on its communications with the receiver. A family of nontrivial equilibria, in which the communicated messages carry information, is constructed and its properties are studied.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Scheduling Rigid Demands on Continuous-Time Linear Shift-Invariant Systems

We consider load scheduling on constrained continuous-time linear dynamical systems, such as automated irrigation and other distribution networks. The requested loads are rigid, i.e., the shapes cannot be changed. Hence, it is only possible to shift the order back-and-forth in time to arrive at a feasible schedule. We present a numerical algorithm based on using log-barrier functions to include the state constraints in the social cost function (i.e., an appropriate function of the scheduling delays). This algorithm requires a feasible initialization. Further, in another algorithm, we treat the state constraints as soft constraints and heavily penalize the constraint violations. This algorithm can even be initialized at an infeasible point. The applicability of both these numerical algorithms is demonstrated on an automated irrigation network with two pools and six farms.

0 citations0 reviewsNo code linkedOpen access