Login / Signup

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.

Marcin WojnakowskiRemigiusz Wisniewski
Published in: DoCEIS (2021)
Keyphrases
  • cyber physical systems
  • cyber physical
  • control system
  • physical world
  • real time
  • model checking
  • artificial intelligence
  • cyber security
  • information systems
  • wireless sensor networks