scispace - formally typeset
Search or ask a question
Author

Maria Domenica Di Benedetto

Other affiliations: Sapienza University of Rome
Bio: Maria Domenica Di Benedetto is an academic researcher from University of L'Aquila. The author has contributed to research in topics: Hybrid system & Bisimulation. The author has an hindex of 25, co-authored 148 publications receiving 2385 citations. Previous affiliations of Maria Domenica Di Benedetto include Sapienza University of Rome.


Papers
More filters
Book ChapterDOI
25 Mar 2002
TL;DR: A methodology for the design of dynamical observers for hybrid plants is proposed, which identifies the current location of the hybrid plant after a finite number of steps and converges exponentially to the continuous state.
Abstract: A methodology for the design of dynamical observers for hybrid plants is proposed. The hybrid observer consists of two parts: a location observer and a continuous observer. The former identifies the current location of the hybrid plant, while the latter produces an estimate of the evolution of the continuous state of the hybrid plant. A synthesis procedure is offered when a set of properties on the hybrid plant is satisfied. The synthesized hybrid observer identifies the current location of the plant after a finite number of steps and converges exponentially to the continuous state.

307 citations

Journal ArticleDOI
TL;DR: A linear algebraic framework for the analysis of rank properties of nonlinear systems is introduced and can be used to establish links between these algorithms and the differential algebraic approach, as well as to solve some static and dynamic noninteracting control problems.
Abstract: A linear algebraic framework for the analysis of rank properties of nonlinear systems is introduced. This framework gives a high-level interpretation of several existing algorithms built around the recursive computation of certain algebraic ranks associated with right-invertibility, left-invertibility, and dynamic decoupling. Furthermore, it can be used to establish links between these algorithms and the differential algebraic approach, as well as to solve some static and dynamic noninteracting control problems.

170 citations

Journal ArticleDOI
TL;DR: In this paper, a systematic mapping study sheds light on how security is actually addressed when dealing with cyber-physical systems from an automatic control perspective, based on application fields, various system components, related algorithms and models, attacks characteristics and defense strategies.

131 citations

Journal ArticleDOI
TL;DR: A network of symbolic models, each one associated with each subsystem composing the network, is proposed and shown to be approximately bisimilar to the original network with any desired accuracy.
Abstract: In this note, we propose symbolic models for networks of discrete-time nonlinear control systems. If each subsystem composing the network admits an incremental input-to-state stable Lyapunov function and if some small gain theorem-type conditions are satisfied, a network of symbolic models, each one associated with each subsystem composing the network, is proposed and shown to be approximately bisimilar to the original network with any desired accuracy.

93 citations

Journal ArticleDOI
TL;DR: The provided systematic map of 118 selected studies is based on application fields, various system components, related algorithms and models, attacks characteristics and defense strategies and presents a powerful comparison framework for existing and future research on this hot topic.
Abstract: Cyber-physical systems are integrations of computation, networking, and physical processes. Due to the tight cyber-physical coupling and to the potentially disrupting consequences of failures, security here is one of the primary concerns. Our systematic mapping study sheds some light on how security is actually addressed when dealing with cyber-physical systems. The provided systematic map of 118 selected studies is based on, for instance, application fields, various system components, related algorithms and models, attacks characteristics and defense strategies. It presents a powerful comparison framework for existing and future research on this hot topic, important for both industry and academia.

79 citations


Cited by
More filters
Journal ArticleDOI
TL;DR: In this paper, the authors introduce flat systems, which are equivalent to linear ones via a special type of feedback called endogenous feedback, which subsumes the physical properties of a linearizing output and provides another nonlinear extension of Kalman's controllability.
Abstract: We introduce flat systems, which are equivalent to linear ones via a special type of feedback called endogenous. Their physical properties are subsumed by a linearizing output and they might be regarded as providing another nonlinear extension of Kalman's controllability. The distance to flatness is measured by a non-negative integer, the defect. We utilize differential algebra where flatness- and defect are best defined without distinguishing between input, state, output and other variables. Many realistic classes of examples are flat. We treat two popular ones: the crane and the car with n trailers, the motion planning of which is obtained via elementary properties of plane curves. The three non-flat examples, the simple, double and variable length pendulums, are borrowed from non-linear physics. A high frequency control strategy is proposed such that the averaged systems become flat.

3,025 citations

01 Jan 2009
TL;DR: This paper presents a meta-modelling framework for modeling and testing the robustness of the modeled systems and some of the techniques used in this framework have been developed and tested in the field.
Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

1,687 citations

Book ChapterDOI
TL;DR: In this paper, the problem of controlling a fixed nonlinear plant in order to have its output track (or reject) a family of reference (or disturbance) signal produced by some external generator is discussed.
Abstract: The problem of controlling a fixed nonlinear plant in order to have its output track (or reject) a family of reference (or disturbance) signal produced by some external generator is discussed. It is shown that, under standard assumptions, this problem is solvable if and only if a certain nonlinear partial differential equation is solvable. Once a solution of this equation is available, a feedback law which solves the problem can easily be constructed. The theory developed incorporates previously published results established for linear systems. >

1,639 citations

Book
27 Jul 2017
TL;DR: Predictive Control for Linear and Hybrid Systems is an ideal reference for graduate, postgraduate and advanced control practitioners interested in theory and/or implementation aspects of predictive control.
Abstract: Model Predictive Control (MPC), the dominant advanced control approach in industry over the past twenty-five years, is presented comprehensively in this unique book. With a simple, unified approach, and with attention to real-time implementation, it covers predictive control theory including the stability, feasibility, and robustness of MPC controllers. The theory of explicit MPC, where the nonlinear optimal feedback controller can be calculated efficiently, is presented in the context of linear systems with linear constraints, switched linear systems, and, more generally, linear hybrid systems. Drawing upon years of practical experience and using numerous examples and illustrative applications, the authors discuss the techniques required to design predictive control laws, including algorithms for polyhedral manipulations, mathematical and multiparametric programming and how to validate the theoretical properties and to implement predictive control policies. The most important algorithms feature in an accompanying free online MATLAB toolbox, which allows easy access to sample solutions. Predictive Control for Linear and Hybrid Systems is an ideal reference for graduate, postgraduate and advanced control practitioners interested in theory and/or implementation aspects of predictive control.

1,142 citations