DeepAI AI Chat
Log In Sign Up

Declarative Semantics of the Hybrid Constraint Language HydLa

by   Kazunori Ueda, et al.

Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples.


page 1

page 2

page 3

page 4


Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external fi...

An Adequate While-Language for Hybrid Computation

Hybrid computation combines discrete and continuous dynamics in the form...

Deep Representation Learning for Dynamical Systems Modeling

Proper states' representations are the key to the successful dynamics mo...

Hybrid Simulation Safety: Limbos and Zero Crossings

Physical systems can be naturally modeled by combining continuous and di...

Implementing Hybrid Semantics: From Functional to Imperative

Hybrid programs combine digital control with differential equations, and...

Asynchronous Correspondences Between Hybrid Trajectory Semantics

We formalize the semantics of hybrid systems as sets of hybrid trajector...

pyRDDLGym: From RDDL to Gym Environments

We present pyRDDLGym, a Python framework for auto-generation of OpenAI G...