Search Results for author:
Found 4 papers, 0 papers with code
How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
This relation allows for seamless application of the synthesized controller based on abstraction to the original system.
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
The results show that both semantics are compatible with cascade composition, while strong semantic is required for feedback composition.
Symbolic Models for Interconnected Impulsive Systems
Our approach relies on the concept of "alternating simulation function" to establish a relationship between concrete subsystems and their symbolic models.
A two dimensional fluid model for TCP/AQM analysis
This work proposes a new mathematical model for the TCP/AQM system that aims to improve the accuracy of existing fluid models, especially with respect to the sequential events that occur in the network.
