Local Mean Payoff Supervisory Control for Discrete Event Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3075186
Abstract: This article investigates quantitative supervisory control with local mean payoff objectives on discrete event systems modeled as weighted automata. Weight flows are generated as new events occur, which are required to satisfy some quantitative conditions.… read more here.
Keywords: control; discrete event; event systems; local mean ... See more keywords
Mean-Payoff Games with ω-Regular Specifications
Sign Up to like & getrecommendations! Published in 2022 at "Games"
DOI: 10.5555/3463952.3464099
Abstract: Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while attempting to maximise a (mean-)payoff function that… read more here.
Keywords: regular specifications; payoff games; multi; game ... See more keywords