Formal Methods for Discrete-Time Dynamical Systems

Overview of attention for book

Cover of 'Formal Methods for Discrete-Time Dynamical Systems'

Table of Contents

Attention for Chapter 1: Transition Systems

Altmetric Badge

Citations

dimensions_citation: 242 Dimensions

Readers on

mendeley: 18 Mendeley

Summary Dimensions citations

So far, Dimensions has found 242 publications that cite this research output.

242

The most recent citing publications are shown below. View all 242 publications that cite this research output on Dimensions.

Hierarchical control of linear systems using extended robust approximate simulation

Article in European Journal of Control (July 2024)

Contract composition for dynamical control systems: Definition and verification using linear programming

Article in Automatica (June 2024)

Data-driven abstraction-based control synthesis

Article in Nonlinear Analysis Hybrid Systems (May 2024)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.