On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45931-6_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

New Gramians for Switched Linear Systems: Reachability, Observability, and Model Reduction

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2019English

Boundary-Value Descriptor Systems: Well-Posedness, Reachability and Observability

International Journal of Control
ControlSystems EngineeringComputer Science Applications
1987English

On the Structure of Ideals of the Dual Algebra of a Coalgebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

On the Structure of Ideals of the Dual Algebra of a Coalgebra

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Specification Inference Using Context-Free Language Reachability

2015English

Formal Concept Analysis and Structures Underlying Quantum Logics

Communications in Computer and Information Science
MathematicsComputer Science
2018English

Observability of Characteristic Binary-Induced Structures in Circumbinary Disks

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2017English

On Cancellations, Controllability and Observability

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
1964English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy