On the public citation graph

Polynomial dynamical systems over finite fields

https://doi.org/10.1007/bfb0006940
0 signed · 30 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-94-009-5225-6_6openalex-snapshot
Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
inferredcites →https://doi.org/10.1007/bfb0043053openalex-snapshot
Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields
inferredcites →https://doi.org/10.1109/9.8645openalex-snapshot
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
inferredcites →https://doi.org/10.1109/mcs.2012.2194845openalex-snapshot
[IEEE Control Systems Society]
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1137/0325036openalex-snapshot
On the Supremal Controllable Sublanguage of a Given Language

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-48118-4_35openalex-snapshot
Incremental design of a Power transformer station controller using a controller synthesis methodology
inferred← citeshttps://doi.org/10.1007/978-3-540-74339-2_21openalex-snapshot
Finite Dynamical Systems: A Mathematical Framework for Computer Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-21493-6_9openalex-snapshot
Quantifier Elimination over Finite Fields Using Gröbner Bases
inferred← citeshttps://doi.org/10.1007/s11538-010-9501-zopenalex-snapshot
The Dynamics of Conjunctive and Disjunctive Boolean Network Models
inferred← citeshttps://doi.org/10.1016/j.aam.2006.08.004openalex-snapshot
Reverse-engineering of polynomial dynamical systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00020-4openalex-snapshot
Formal verification of programs specified with signal: application to a power transformer station controller
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49020-3openalex-snapshot
Discrete Event Systems and Synchronous Languages: An Example
inferred← citeshttps://doi.org/10.1023/a:1008311720696openalex-snapshot
Synthesis of Discrete-Event Controllers Based on the Signal Environment
inferred← citeshttps://doi.org/10.1080/00207721.2012.743054openalex-snapshot
A framework for synthesis of communicating decentralised supervisors for discrete-event systems
inferred← citeshttps://doi.org/10.1093/bioinformatics/btad634openalex-snapshot
Cyclone: open-source package for simulation and analysis of finite dynamical systems
inferred← citeshttps://doi.org/10.1109/32.879811openalex-snapshot
Incremental design of a power transformer station controller using a controller synthesis methodology
inferred← citeshttps://doi.org/10.1109/3477.604112openalex-snapshot
Algebraically structured colored Petri nets to model sequential processes
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428693openalex-snapshot
An optimal control problem for in vitro virus competition
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725501openalex-snapshot
A design environment for discrete-event controllers based on the SIGNAL language
inferred← citeshttps://doi.org/10.1109/icsmc.2009.5346234openalex-snapshot
Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems
inferred← citeshttps://doi.org/10.1109/icsmc.2009.5346235openalex-snapshot
Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems
inferred← citeshttps://doi.org/10.1109/isit.2008.4595397openalex-snapshot
A list-decoding approach for inferring the dynamics of gene regulatory networks
inferred← citeshttps://doi.org/10.1109/memcod.2011.5970507openalex-snapshot
Polychronous controller synthesis from MARTE CCSL timing specifications
inferred← citeshttps://doi.org/10.1109/skg49510.2019.00034openalex-snapshot
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog
inferred← citeshttps://doi.org/10.1109/tac.2012.2225531openalex-snapshot
Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2022.3211982openalex-snapshot
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems
inferred← citeshttps://doi.org/10.1524/auto.53.1.45.56703openalex-snapshot
Linear Systems over Finite Fields – Modeling, Analysis, and Synthesis
inferred← citeshttps://doi.org/10.25088/complexsystems.16.4.333openalex-snapshot
Monomial Dynamical Systems over Finite Fields
inferred← citeshttps://doi.org/10.5772/15035openalex-snapshot
Discrete Time Systems with Event-Based Dynamics: Recent Developments in Analysis and Synthesis Methods
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.