Modeling, analyzing and controlling hybrid systems by guarded flexible nets

DOI10.1016/j.nahs.2018.11.004zbMath1425.93146MaRDI 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 nets; piecewise linear systems; nondeterminism; uncertain parameters; guarded flexible nets

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

93B03: Attainable sets, reachability

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• CPLEX
• Gurobi
• HyTech
• Pyomo