Enforcing Opacity of Regular Predicates on Modal Transition Systems

Discrete Event Dynamic Systems: Theory and Applications - Netherlands
doi 10.1007/s10626-014-0193-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Understanding and Enforcing Opacity

2015English

Opacity Generalised to Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Quantitative Modal Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Exploring Inconsistencies Between Modal Transition Systems

Software and Systems Modeling
ModelingSoftwareSimulation
2010English

Parametric and Quantitative Extensions of Modal Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Opacity, Transition, and Design Research

Cuadernos del Centro de Estudios de Diseño y Comunicación
2019English

On the Regular Implementability of nD Systems

Systems and Control Letters
ControlSystems EngineeringMechanical EngineeringElectronic EngineeringElectricalComputer Science
2007English

Enforcing Spatial Constraints for Mobile RBAC Systems

2010English

Enforcing Safety of Cyberphysical Systems Using Flatness and Abstraction

ACM SIGBED Review
EngineeringComputer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy