Controlling a population

MaRDI QIDQ5227518zbMATH OpenFDO

Authors Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Godbole

Publication date 6 August 2019

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

zbMATH Keywords

verificationcontrollogicparametric systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Multi-agent systems (93A16)

Recommendations

• Controlling a population
• Population stability. Regulating size in the presence of an adversary
• Playing with population protocols
• On the control of asynchronous automata
• Control problems of a discrete hierarchical population system

Cites work

• scientific article; zbMATH DE number 2186305 (Why is no real title available?)
• scientific article; zbMATH DE number 3719108 (Why is no real title available?)
• scientific article; zbMATH DE number 5219795 (Why is no real title available?)
• Algebras and combinators
• Hilbert's Twenty-Fourth Problem
• Lambda terms for natural deduction, sequent calculus and cut elimination
• The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics

Cited in

(6)

• Controlling a random population
• Controlling a population
• Synthesizing safe coalition strategies
• Integral control for population management
• scientific article; zbMATH DE number 7559502 (Why is no real title available?)
• Synthesis of distributed agreement-based systems with efficiently-decidable verification

This page was built for publication: Controlling a population

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