Many natural and artificial systems studied across a variety of disciplines, from biology to social sciences, consist of relatively simple agents with a partial knowledge of the system as a whole, where complex collective dynamics that are difficult to anticipate emerge from local interaction. We argue how formal methods broadly understood can be of assistance in such studies with a systematic approach to specification and analysis. To convey our argument, we elaborate a proof of concept inspired from an instance of emergent behaviour commonly observed in flocks of birds.
Process Algebras and Flocks of Birds
De Nicola R.;Di Stefano L.;Inverso O.;Valiani S.
2022-01-01
Abstract
Many natural and artificial systems studied across a variety of disciplines, from biology to social sciences, consist of relatively simple agents with a partial knowledge of the system as a whole, where complex collective dynamics that are difficult to anticipate emerge from local interaction. We argue how formal methods broadly understood can be of assistance in such studies with a systematic approach to specification and analysis. To convey our argument, we elaborate a proof of concept inspired from an instance of emergent behaviour commonly observed in flocks of birds.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
