Controlling a population

zbMATH Open1437.68176arXiv1807.00893MaRDI QIDQ5227518FDOQ5227518

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

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

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)

Cites Work

• Algebras and combinators
• Hilbert's Twenty-Fourth Problem
• Title not available (Why is that?)
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics

Cited In (5)

• Controlling a population
• Integral control for population management
• Title not available (Why is that?)
• Synthesis of distributed agreement-based systems with efficiently-decidable verification
• Controlling a random population

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)