Agent Skills
› brycewang-stanford/Awesome-Journal-Skills
› ieee-transactions-on-automatic-control
ieee-transactions-on-automatic-control
GitHub用于判断控制系统论文是否适合IEEE TAC期刊，提供理论贡献评估、框架重构建议及拒稿启发式规则。
触发场景
作者指定TAC为目标期刊并需进行匹配度检查
将应用性描述重构为具有明确假设的通用定理或方法
在TAC与Automatica或Paper与技术笔记间做选择
获取TAC特有的拒稿启发式规则及替代投稿建议
安装
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill ieee-transactions-on-automatic-control -g -y
SKILL.md
Frontmatter
{
"name": "ieee-transactions-on-automatic-control",
"description": "Use when targeting IEEE Transactions on Automatic Control (TAC) or deciding whether a systems-and-control manuscript fits this venue. Encodes the journal's fit, the theory-first contribution bar, proof and assumption rigor, paper-vs-technical-note framing, house style, official-submission re-check, and desk-reject heuristics."
}
IEEE Transactions on Automatic Control (ieee-transactions-on-automatic-control)
Journal positioning
IEEE Transactions on Automatic Control (TAC) is the flagship archival journal of the systems-and-control field, publishing rigorous theoretical and methodological contributions across control theory, estimation, optimization for control, hybrid and networked systems, and the mathematics of dynamical systems. The defining expectation is a provable, general result: a new theorem, a new method with guarantees, or a sharp answer to an open systems-and-control question. Application papers that tune a known controller for one plant, or simulation studies without a generalizable theoretical contribution, are a poor fit and are routinely returned. This skill is a fit / venue-selection / re-framing tool. It does not replace the journal's current official author information. Before submitting, re-check the live IEEE TAC author guidance and submission system.
When to trigger
- The author names TAC as the target for a control-theory, estimation, or dynamical-systems manuscript and wants a fit/framing check.
- A control contribution must be re-framed from "we controlled this system" into a general theorem or method statement with explicit assumptions.
- The author is choosing between TAC and
automatica, or between a full Paper and a Technical Note / shorter contribution. - The author needs TAC's specific desk-reject heuristics and a credible alternative-venue route for application-heavy work.
Scope & topic fit
- Control theory: stability, robust/H-infinity, adaptive, nonlinear, optimal, model-predictive, and geometric control, with new analysis or synthesis results.
- Estimation and filtering: state estimation, observers, Kalman-type and set-membership filtering, when the contribution is a new guarantee or method, not a tuning.
- Networked, distributed, multi-agent, and hybrid/switched systems; event-triggered and quantized control; consensus and distributed optimization with convergence proofs.
- Optimization, game-theoretic, and learning-based control when the result is rigorous (stability/convergence/regret guarantees), not purely empirical.
- Stochastic systems and control; systems-theoretic aspects of dynamical systems.
Method & evidence bar
- The central object is a theorem with a correct, complete proof under clearly stated, non-vacuous assumptions; the generality and tightness of the result are what carry the paper.
- Assumptions must be reasonable and explicitly discussed: a result that holds only under assumptions that effectively presuppose the conclusion is not a contribution.
- Numerical examples are illustrations, not evidence of generality; simulations support intuition but never substitute for the proof.
- Position against the closest prior results precisely: state what is new relative to existing theorems (weaker assumptions, larger class of systems, tighter bound, constructive vs. existence).
- Notation must be standard and self-consistent; the problem formulation must be mathematically precise before any result is stated.
Structure & house style
- IEEE double-column format; TAC publishes full Papers and shorter Technical Notes / Correspondence — match the article type to the size and scope of the contribution, and re-check current definitions on the live guide.
- Problem statement and assumptions come early and precisely; main results are stated as numbered theorems/propositions/lemmas with proofs (in-text or in an appendix per the current format).
- The introduction must position the open problem and the gap in existing theory, not survey applications.
- Figures are used sparingly and purposefully (block diagrams, convergence/phase plots); the paper stands on its theorems, not its plots.
- Supplementary proofs/appendices carry length-limited material per current rules.
Official-submission checklist
- Before giving submission-ready advice, read
../../resources/source-basis.mdand../../resources/official-source-map.md; start from the IEEE Author Center anchors, then cite the current TAC-specific page you checked. - Search the live site for "IEEE Transactions on Automatic Control information for authors" and follow the current ScholarOne/IEEE version.
- Re-check article types (Paper vs. Technical Note), page/length limits and overlength policy, and the IEEE double-column template.
- Confirm reproducibility/data/code expectations for any numerical or experimental results.
- Re-check ORCID, competing-interests, funding, author-contribution, and AI-use disclosure requirements, and IEEE open-access options.
- If the live official instructions conflict with this skill, the official instructions win.
Pre-submission self-check
- The contribution is stated as a general theorem/method with explicit, non-vacuous assumptions — not as a successful control of one plant.
- Every main result has a complete, correct proof; simulations are illustrative only.
- The novelty is pinned to specific prior theorems (weaker assumptions / wider class / tighter bound / constructive).
- The problem formulation is mathematically precise before any result is stated.
- Article type (Paper vs. Technical Note) matches the scope, and length is within current limits.
- Notation is standard, consistent, and defined.
Common desk-reject triggers
- Application/tuning paper: a known control method applied to one specific system with no generalizable theoretical contribution.
- Simulation-only "validation" with no theorem, or a theorem whose assumptions effectively assume the result.
- Incremental extension of an existing result with no weakening of assumptions or broadening of the system class.
- Incorrect, incomplete, or hand-waved proofs; mismatched or undefined notation.
- Scope mismatch: a signal-processing, pure-optimization, or machine-learning paper with control only as a label.
Re-routing decision
- Methodological control breadth, longer development →
automatica. - Signal-processing estimation/detection as the core →
ieee-transactions-on-signal-processing. - Power-system or power-electronics control application →
ieee-transactions-on-power-systems/ieee-transactions-on-power-electronics. - Robotics planning/control as the central contribution →
ieee-transactions-on-robotics/the-international-journal-of-robotics-research. - Optimization theory with no control object → a dedicated optimization venue.
Output format
[Fit] High / Medium / Low (one-line reason)
[Target] IEEE Transactions on Automatic Control
[Topic tags] <2–3 closest control subtopics>
[Contribution type] theorem / method-with-guarantee / open-problem answer
[Method/evidence] <does the result clear the generality + proof-rigor bar?>
[Top risk] <the single most likely reason for rejection>
[Article type] Paper / Technical Note
[Official items to re-check] <article type / length / template / data-code / disclosures>
[Re-route suggestion] <if not a fit, a better-matched venue>
版本历史
- 1839142 当前 2026-07-05 12:55
