Cyberfysiska tillverkningssystem är ett nytt paradigm för tillverkningssystem som integrerar it-system och fysiska system för att hjälpa smart tillverkning. Cyberfysiska tillverkningssystem kan förbättra smidigheten och lyhördheten och garantera produkternas kvalitet för att uppfylla marknadens krav. Samtidigt blir cyberfysiska tillverkningssystem också mottagliga för cyberattacker. För att förbättra tillförlitligheten hos it-fysiska tillverkningssystem i den dynamiska modelleringsfasen presenteras en formell modell för it-fysisk tillverkning baserad på objektorienterade Petri-nät ur ett multiagent-perspektiv. Vissa matematiska metoder och stödjande verktyg av Petri nät kan användas för att analysera, verifiera och validera cyberfysiska tillverkningssystem formell modell. För att försvara den skadliga programvara som sprids i cyberfysiska tillverkningssystem vid körtid, föreslås en spridningsdynamik modell, och dess dynamiska beteenden analyseras. En hybrid bifurcation kontroll metod är utformad för att kontrollera Hopf bifurcation som orsakas av skadlig programvara spridning. Simuleringsresultaten visar att metoden för kontroll av hybridbifurcation kan få cyberfysiska tillverkningssystem att generera de förväntade dynamiska beteendena och garantera tillförlitligheten hos cyberfysiska tillverkningssystem vid körtid.
Vi använder objektorienterade Petri nät för att modellera och analysera CPMS från perspektivet av multi-agent system REF.
Formal modeling and control of cyber-physical manufacturing systems
{'venue': None, 'journal': 'Advances in Mechanical Engineering', 'mag_field_of_study': ['Engineering']}