Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

Supervisory control of a class of discrete event processes

Published: 01 January 1987 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2024)Distributed misbehavior monitors for socially organized autonomous systemsInternational Journal of Robotics Research10.1177/0278364924124281243:14(2145-2182)Online publication date: 1-Dec-2024
  • (2024)Automated Repair of Violated Eventually Properties in Concurrent ProgramsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644383(66-76)Online publication date: 14-Apr-2024
  • (2024)Supervisory Control for Dynamic Feature Configuration in Product LinesACM Transactions on Embedded Computing Systems10.1145/357964423:5(1-25)Online publication date: 14-Aug-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image SIAM Journal on Control and Optimization
SIAM Journal on Control and Optimization  Volume 25, Issue 1
Jan. 1987
243 pages

Publisher

Society for Industrial and Applied Mathematics

United States

Publication History

Published: 01 January 1987

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Distributed misbehavior monitors for socially organized autonomous systemsInternational Journal of Robotics Research10.1177/0278364924124281243:14(2145-2182)Online publication date: 1-Dec-2024
  • (2024)Automated Repair of Violated Eventually Properties in Concurrent ProgramsProceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)10.1145/3644033.3644383(66-76)Online publication date: 14-Apr-2024
  • (2024)Supervisory Control for Dynamic Feature Configuration in Product LinesACM Transactions on Embedded Computing Systems10.1145/357964423:5(1-25)Online publication date: 14-Aug-2024
  • (2024)Learning from positive and negative examplesInformation Processing Letters10.1016/j.ipl.2023.106427183:COnline publication date: 1-Jan-2024
  • (2024)Reliable decentralized failure diagnosis of discrete event systems using single-level inferenceDiscrete Event Dynamic Systems10.1007/s10626-024-00404-334:4(497-537)Online publication date: 1-Dec-2024
  • (2024)Reducing the computational effort of symbolic supervisor synthesisDiscrete Event Dynamic Systems10.1007/s10626-024-00403-434:4(689-732)Online publication date: 1-Dec-2024
  • (2024)Diagnosability and attack detection for discrete event systems under sensor attacksDiscrete Event Dynamic Systems10.1007/s10626-024-00401-634:3(465-495)Online publication date: 1-Sep-2024
  • (2024)Compositional non-blockingness verification of finite automata with prioritised eventsDiscrete Event Dynamic Systems10.1007/s10626-024-00394-234:1(125-161)Online publication date: 1-Mar-2024
  • (2024)Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient ControlTheoretical Aspects of Computing – ICTAC 202410.1007/978-3-031-77019-7_12(197-214)Online publication date: 25-Nov-2024
  • (2024)Modelling, Verifying and Testing the Contract Automata Runtime Environment with UppaalCoordination Models and Languages10.1007/978-3-031-62697-5_6(93-110)Online publication date: 17-Jun-2024
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media