Modeling, analyzing and controlling hybrid systems by guarded flexible nets

DOI10.1016/j.nahs.2018.11.004zbMath1425.93146OpenAlexW2902148228WikidataQ128848486 ScholiaQ128848486MaRDI QIDQ2327605

Jorge Júlvez, Stephen G. Oliver

Publication date: 15 October 2019

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: http://zaguan.unizar.es/record/86297

zbMATH Keywords

Petri netspiecewise linear systemsnondeterminismuncertain parametersguarded flexible nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• CPLEX
• Gurobi
• HyTech
• Pyomo

Cites Work

• Unnamed Item
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• Model predictive control. Classical, robust and stochastic
• First-order hybrid Petri nets. An application to distributed manufacturing systems
• Control of systems integrating logic, dynamics, and constraints
• Hybrid I/O automata.
• An introduction to hybrid dynamical systems
• HyTech: A model checker for hybrid systems
• Observability and controllability of piecewise affine and hybrid systems
• Theory of hybrid dynamical systems and its applications to biological and medical systems
• Handbook of Hybrid Systems Control
• Hybrid dynamical systems
• Pyomo -- optimization modeling in Python

This page was built for publication: Modeling, analyzing and controlling hybrid systems by guarded flexible nets