Studiesalg.dk
*Principles of Cyber-Physical Systems* er en dybdegående lærebog, der giver en stringent introduktion til principperne bag design, specifikation, modellering og analyse af cyber-fysiske systemer. Et sådant system består af en række computerenheder, der kommunikerer med hinanden og interagerer med den fysiske verden via sensorer og aktuatorer i et feedback-loop. I dag findes disse systemer overalt, lige fra intelligente bygninger og medicinsk udstyr til moderne biler. Bogen trækker på et bredt spektrum af underdiscipliner, herunder modelbaseret design, teorien bag samtidighed (concurrency), distribuerede algoritmer, formelle metoder til specifikation og verifikation, kontrolteori samt realtids- og hybridsystemer. Forfatteren Rajeev Alur forklarer kerneidéerne fra hver af disse grene og viser, hvordan formelle modeller kan fungere som matematiske abstraktioner til at håndtere kompleksiteten i systemdesign. Der dækkes både synkrone og asynkrone modeller til samtidige beregninger, kontinuerlige tidsmodeller til dynamiske systemer og hybride systemer, der integrerer diskret og kontinuerlig udvikling. Vigtigheden af korrekthedskrav i udviklingen af pålidelige systemer belyses gennem en række specifikationsformalismer og de tilhørende teknikker til formel verifikation. Læseren introduceres for emner som krav til sikkerhed og "liveness", temporallogik, model checking, deduktiv verifikation, stabilitetsanalyse af lineære systemer og algoritmer til realtidsplanlægning. Alle disse teoretiske principper illustreres praktisk ved at konstruere løsninger på repræsentative designproblemer inden for distribuerede algoritmer, netværksprotokoller, kontroldesign og robotteknologi. Udgivet af MIT Press Ltd i 2015, udgør bogen et længe ventet og grundlæggende værk til det hastigt voksende felt inden for cyber-fysiske systemer. Den er forfattet af en anerkendt autoritet på området og er yderst velegnet både til undervisningsbrug på uddannelsesinstitutioner og som et solidt referencerammemateriale for professionelle fagfolk.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
