NDLI: Entropy and Minimal Data Rates for State Estimation and Model Detection

Please wait, while we are loading the content...

A Decision Tree Approach to Data Classification using Signal Temporal Logic

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

Case Studies in Data-Driven Verification of Dynamical Systems

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software

Adaptive Decentralized MAC for Event-Triggered Networked Control Systems

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints

Optimal Co-Design of Scheduling and Control for Networked Systems

Entropy and Minimal Data Rates for State Estimation and Model Detection

Computing Distances between Reach Flowpipes

Temporal Logic as Filtering

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques

Towards Model Checking of Implantable Cardioverter Defibrillators

Verification and Synthesis of Timing Contracts for Embedded Controllers

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems

Compositional Synthesis with Parametric Reactive Controllers

Safety Verification of Piecewise-Deterministic Markov Processes

Reachset Conformance Testing of Hybrid Automata

Directed Specifications and Assumption Mining for Monotone Dynamical Systems

A Topological Method for Finding Invariant Sets of Switched Systems

SL2SX Translator: From Simulink to SpaceEx Models

Formal Analysis of Robustness at Model and Code Level

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

From Simulation Models to Hybrid Automata Using Urgency and Relaxation

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

Hybridization for Stability Analysis of Switched Linear Systems

SCOTS: A Tool for the Synthesis of Symbolic Controllers

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions

Parallelotope Bundles for Polynomial Reachability

Entropy and Minimal Data Rates for State Estimation and Model Detection

Content Provider	ACM Digital Library
Author	Liberzon, Daniel Mitra, Sayan
Abstract	We investigate the problem of constructing exponentially converging estimates of the state of a continuous-time system from state measurements transmitted via a limited-data-rate communication channel, so that only quantized and sampled measurements of continuous signals are available to the estimator. Following prior work on topological entropy of dynamical systems, we introduce a notion of estimation entropy which captures this data rate in terms of the number of system trajectories that approximate all other trajectories with desired accuracy. We also propose a novel alternative definition of estimation entropy which uses approximating functions that are not necessarily trajectories of the system. We show that the two entropy notions are actually equivalent. We establish an upper bound for the estimation entropy in terms of the sum of the system's Lipschitz constant and the desired convergence rate, multiplied by the system dimension. We propose an iterative procedure that uses quantized and sampled state measurements to generate state estimates that converge to the true state at the desired exponential rate. The average bit rate utilized by this procedure matches the derived upper bound on the estimation entropy. We also show that no other estimator (based on iterative quantized measurements) can perform the same estimation task with bit rates lower than the estimation entropy. Finally, we develop an application of the estimation procedure in determining, from the quantized state measurements, which of two competing models of a dynamical system is the true model. We show that under a mild assumption of exponential separation of the candidate models, detection is always possible in finite time. Our numerical experiments with randomly generated affine dynamical systems suggest that in practice the algorithm always works.
Starting Page	247
Ending Page	256
Page Count	10
File Format	PDF
ISBN	9781450339551
DOI	10.1145/2883817.2883820
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-04-11
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Model detection Topological entropy Estimation Quantization Monitoring
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Jointly optimized quantization and time delay estimation for sensor networks

A novel state estimation method based on topological contraction for distribution networks

Sensor optimization and placement for enhanced power system monitoring using entropy

Motion sensed video storage algorithm for surveillance recording

Maximum entropy models: convergence rates and applications in dynamic system monitoring

Optimal parameter estimation for model-based quantization

Minimal Bit Rates and Entropy for Exponential Stabilization

Detecting network events via T-entropy

Minimal data rates and invariance entropy

Entropy and Minimal Data Rates for State Estimation and Model Detection

Similar Documents

Jointly optimized quantization and time delay estimation for sensor networks

A novel state estimation method based on topological contraction for distribution networks

Sensor optimization and placement for enhanced power system monitoring using entropy

Motion sensed video storage algorithm for surveillance recording

Maximum entropy models: convergence rates and applications in dynamic system monitoring

Optimal parameter estimation for model-based quantization

Minimal Bit Rates and Entropy for Exponential Stabilization

Detecting network events via T-entropy

Minimal data rates and invariance entropy

Entropy and Minimal Data Rates for State Estimation and Model Detection