Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

DOI10.1016/j.tcs.2012.05.023zbMath1262.68139OpenAlexW1967900449MaRDI QIDQ442295

Mohammad Abdollahi Azgomi, Hassan Motallebi

Publication date: 10 August 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.05.023

zbMATH Keywords

hybrid automatahybrid dynamic systemshybrid Petri nets (HPNs)multisingular hybrid Petri nets (MSHPNs)speed-based partitioningtimed systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques

Uses Software

• Kronos
• Uppaal2k
• HyTech
• PPL
• PolyLib

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Formal verification of real-time systems with preemptive scheduling
• Model checking of time Petri nets using the state class timed automaton
• What's decidable about hybrid automata?
• A theory of timed automata
• The power of reachability testing for timed automata
• Generalized discrete timed automata: Decidable approximations for safety verification.
• A compositional approach to CTL\(^*\) verification
• HyTech: A model checker for hybrid systems
• Concurrency in timed automata
• Updatable timed automata
• Discrete-time control for rectangular hybrid automata
• CTL* model checking for time Petri nets
• Task automata: Schedulability, decidability and undecidability
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES
• A LIBRARY FOR DOING POLYHEDRAL OPERATIONS
• Discrete, Continuous, and Hybrid Petri Nets
• Applications and Theory of Petri Nets 2004
• Formal Modeling and Analysis of Timed Systems
• On hybrid Petri nets
• Decidability results in first-order hybrid Petri nets

This page was built for publication: Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets