Skip to content

Papers and references

The literature that grounds the SCPN-MIF-CORE modules. For the citation provenance of the works MIF actively uses — source URLs, verification status, and licence — see the internal external-source register under docs/external_sources/.

FRC physics

  • Steinhauer, L. C. (2011). Review of field-reversed configurations. Physics of Plasmas 18, 070501.
  • Ono, M., et al. (1997). Magnetic-mode-based modelling for FRC. Physics of Plasmas 4, 1953.
  • Belova, E. V., et al. (2001). Numerical study of tilt stability of prolate field-reversed configurations. Physics of Plasmas 8, 1267.
  • Slough, J., Votroubek, G., Pihl, C. (2011). Creation of a high-temperature plasma through merging and compression of supersonic field-reversed configuration plasmoids. Nuclear Fusion 51, 053008.
  • Velikovich, A. L., et al. (2007). Magneto-Rayleigh-Taylor instabilities in MagLIF. Physics of Plasmas 14, 022701.
  • Sefkow, A. B., et al. (2014). Design of MagLIF experiments on the Z facility. Physics of Plasmas 21, 072711.
  • Hender, T. C., et al. (2007). MHD stability, operational limits, and disruptions. Nuclear Fusion 47, S128.
  • Hakim, A., et al. (2020). Continuum electromagnetic gyrokinetics with Gkeyll. Journal of Computational Physics 401, 109066.
  • Dudson, B. D., et al. (2015). BOUT++: recent and current developments. Journal of Plasma Physics 81, 365810104.

Pulsed-power and trigger prior art

  • Moffett, M. B., Chesny, D. L. (2026). Solid-state switch arrays for digitized plasma control and magneto-inertial fusion applications. U.S. Patent US 12,567,738 B1, assignee Equilibria Power. See the US12567738B1 source note for the MIF citation boundary.

Kinematic synchronisation

  • O'Keeffe, K. P., Hong, H., Strogatz, S. H. (2017). Oscillators that sync and swarm. Nature Communications 8, 1504.
  • Tanaka, D. (2007). General chemotactic model of oscillators. Physical Review Letters 99, 134103.
  • Lachaux, J.-P., Rodriguez, E., Martinerie, J., Varela, F. J. (1999). Measuring phase synchrony in brain signals. Human Brain Mapping 8, 194–208.
  • Tabuada, P., Wang, X. (2007). Preliminary results on state-triggered scheduling of stabilising control tasks. CDC 2006.

Latent dynamical-system discovery

  • Muratore, P., Mathis, M. W. (2026). Extracting Governing Equations from Latent Dynamics via Multi-View Contrastive Learning. arXiv:2606.13260. See the DYSCO latent dynamics study for the MIF scope boundary.

Neuromorphic + SNN-to-RTL

  • Khalfaoui-Hassani, I., Pellegrini, T., Masquelier, T. (2023). Dilated convolution with learnable spacings. NeurIPS.
  • Davies, M., et al. (2018). Loihi: a neuromorphic manycore processor with on-chip learning. IEEE Micro 38, 82–99.
  • Frenkel, C., et al. (2018). A 0.086-mm² 12.7-pJ/SOP 64k-synapse 256-neuron online-learning digital spiking neuromorphic processor in 28-nm CMOS. IEEE TBioCAS 13, 145–158.
  • Frenkel, C., Indiveri, G. (2022). ReckOn: a 28-nm sub-mm² task-agnostic recurrent spiking neural processor. IEEE ISSCC.
  • Indiveri, G. (2003). A low-power adaptive integrate-and-fire neuron circuit. IEEE ISCAS.
  • Lichtsteiner, P., Posch, C., Delbruck, T. (2008). A 128×128 120 dB 15 µs latency asynchronous temporal contrast vision sensor. IEEE JSSC 43, 566–576.
  • Boahen, K. A. (2000). Point-to-point connectivity between neuromorphic chips using address events. IEEE TCAS-II 47, 416–434.

Formal verification + tooling

  • Cavada, R., et al. (2014). The nuXmv symbolic model checker. CAV.
  • Champion, A., Mebsout, A., Sticksel, C., Tinelli, C. (2016). The Kind 2 model checker. CAV.
  • Snyder, W. (2022). Verilator: open-source SystemVerilog simulator. DVCon tutorial.

NMPC + pulsed control

  • Verschueren, R., et al. (2022). acados — a modular open-source framework for fast embedded optimal control. Mathematical Programming Computation 14, 147–183.
  • Maron, Y., et al. (2018). Pulsed power and ultra-high-current discharge dynamics. Physical Review X 8, 041018.
  • Kirtley, D. (2019). Helion Energy: pulsed FRC fusion architecture. AIAA SciTech plenary.
  • Roggen, D., et al. (2016). Sub-100 ns FPGA control loops for hybrid AMO experiments. Review of Scientific Instruments 87, 113107.

Quantum control

  • Farhi, E., Goldstone, J., Gutmann, S. (2014). A quantum approximate optimization algorithm. arXiv:1411.4028.
  • Khaneja, N., et al. (2005). Optimal control of coupled spin dynamics: design of NMR pulse sequences by gradient ascent algorithms. Journal of Magnetic Resonance 172, 296–305.
  • Bauch, E., et al. (2018). Ultra-long dephasing times in solid-state spin ensembles via quantum control. Physical Review X 8, 031025.

Standards

  • NIST FIPS 204 (August 2024). Module-Lattice-based Digital Signature Standard.
  • NIST FIPS 205 (August 2024). Stateless Hash-Based Digital Signature Standard.
  • NIST SP 800-22 Rev 1a (2010). A statistical test suite for random and pseudorandom number generators for cryptographic applications.
  • IEEE 1800-2017. Standard for SystemVerilog.
  • AMD Xilinx UG949, UG902, UG579, UG573.