hal. 550-566
hal. NI.1-SI.14
hal. 339-348
hal. 363-371. hal. 363-371
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
hal. 649-670
Definitions and Notations -- Density Problems for Packings and Coverings -- Structural Packing and Covering Problems -- Packing and Covering with Homothetic Copies -- Tiling Problems -- Distance Problems -- Problems on Repeated Subconfigurations -- Incidence and Arrangement Problems -- Problems on Points in General Position -- Graph Drawings and Geometric Graphs -- Lattice Point Problems -- Geo…
Balance Laws -- to Continuum Physics -- Hyperbolic Systems of Balance Laws -- The Cauchy Problem -- Entropy and the Stability of Classical Solutions -- The L1 Theory for Scalar Conservation Laws -- Hyperbolic Systems of Balance Laws in One-Space Dimension -- Admissible Shocks -- Admissible Wave Fans and the Riemann Problem -- Generalized Characteristics. -- Genuinely Nonlinear Scalar Conservati…
Observation, Control, and Stabilization -- Well-Posedness in a Riesz Basis Setting -- Observability of Strings -- Observability of Beams -- Vector Sum Estimates -- Problems on Spherical Domains -- Multidimensional Ingham-Type Theorems -- A General Ingham-Type Theorem -- Problems with Weakened Gap Conditions.Advance Praise for Fourier Series in Control Theory: It has been known since 1967 that a…