Asynchronous l-complete approximations

DOI10.1016/J.SYSCONLE.2014.08.005zbMATH Open1297.93044arXiv1402.5759OpenAlexW2044485540MaRDI QIDQ464604FDOQ464604

Anne-Kathrin Schmuck, Jörg Raisch

Publication date: 27 October 2014

Published in: Systems \& Control Letters (Search for Journal in Brave)

Abstract: This paper extends the $l$-complete approximation method developed for time invariant systems to a larger system class, ensuring that the resulting approximation can be realized by a finite state machine. To derive the new abstraction method, called asynchronous $l$-complete approximation, an asynchronous version of the well-known concepts of state property, memory span and $l$-completeness is introduced, extending the behavioral systems theory in a consistent way.

Full work available at URL: https://arxiv.org/abs/1402.5759

zbMATH Keywords

\(l\)-complete approximationsbehavioral systems theoryfinite state abstractionstate property

Mathematics Subject Classification ID

System structure simplification (93B11) Design techniques (robust design, computer-aided design, etc.) (93B51)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Supervisory control of hybrid systems within a behavioural framework
• Title not available (Why is that?)
• Verification and Control of Hybrid Systems
• Title not available (Why is that?)
• Paradigms and puzzles in the theory of dynamical systems
• Computing Abstractions of Nonlinear Systems
• Hierarchical control system design using approximate simulation
• An Approximate Simulation Approach to Symbolic Control
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Symbolic models for control systems

Cited In (5)

• How to meet asynchronously at polynomial cost
• Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
• Toward a Topological Characterization of Asynchronous Complexity
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
• Refinements of behavioural abstractions for the supervisory control of hybrid systems

This page was built for publication: Asynchronous \(l\)-complete approximations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464604)