Animation and exchanges in the Petri Nets community

[Étienne André <address@concealed>]

    Dear all,
    

    A 12-month postdoctoral fellowship funded by CNRS on **monitoring cyberphysical systems with quantities** is available in the LoVe (logics and verification) team at LIPN, Université Sorbonne Paris Nord, starting anytime (and in any case October 2024 latest).
    

    Full subject online: https://lipn.univ-paris13.fr/~andre/sujets/postdoc-CNRS-monitoring.pdf
    

    A key challenge in monitoring is to formalize complex requests involving quantities such as "the vehicle always remains at a minimum distance from other vehicles, with energy consumption maintained below a predefined threshold (where this threshold is not necessarily known a priori with full precision), except in the event of exceptional danger at most one minute per hour"; and then to detect possible violations of these requests on huge quantities of data.
    This implies being able to define expressive quantitative formalisms, as well as efficient verification algorithms.
    This post-doctoral fellowship fits within this framework, with both theoretical and algorithmic/implementation aspects.
    

    The goal of the postdoctoral fellowship may include:
    - propose expressive formalisms (logics, automata) capturing quantitative values in multiple dimensions (time, cost, energy, etc.);
    - propose efficient monitoring algorithms;
    - implement these algorithms and evaluate them against benchmarks.
    

    Application: informal contact by email first at andre.etienne (at) lipn13 (dot) fr

-- 
Étienne André
Université Sorbonne Paris Nord
https://lipn.univ-paris13.fr/~andre/