diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Revision history for ogma-core
 
+## [1.11.0] - 2025-11-21
+
+* Version bump 1.11.0 (#325).
+* Make state machine code return the current state (#317).
+* Negate condition in state machine monitor (#318).
+
 ## [1.10.0] - 2025-09-21
 
 * Version bump 1.10.0 (#310).
diff --git a/ogma-core.cabal b/ogma-core.cabal
--- a/ogma-core.cabal
+++ b/ogma-core.cabal
@@ -19,7 +19,7 @@
 build-type:          Simple
 
 name:                ogma-core
-version:             1.10.0
+version:             1.11.0
 homepage:            https://github.com/nasa/ogma
 bug-reports:         https://github.com/nasa/ogma/issues
 license:             Apache-2.0
@@ -139,16 +139,16 @@
     , process                 >= 1.6      && < 1.7
     , text                    >= 1.2.3.1  && < 2.2
 
-    , ogma-extra              >= 1.10.0 && < 1.11
-    , ogma-language-c         >= 1.10.0 && < 1.11
-    , ogma-language-copilot   >= 1.10.0 && < 1.11
-    , ogma-language-csv       >= 1.10.0 && < 1.11
-    , ogma-language-jsonspec  >= 1.10.0 && < 1.11
-    , ogma-language-lustre    >= 1.10.0 && < 1.11
-    , ogma-language-smv       >= 1.10.0 && < 1.11
-    , ogma-language-xlsx      >= 1.10.0 && < 1.11
-    , ogma-language-xmlspec   >= 1.10.0 && < 1.11
-    , ogma-spec               >= 1.10.0 && < 1.11
+    , ogma-extra              >= 1.11.0 && < 1.12
+    , ogma-language-c         >= 1.11.0 && < 1.12
+    , ogma-language-copilot   >= 1.11.0 && < 1.12
+    , ogma-language-csv       >= 1.11.0 && < 1.12
+    , ogma-language-jsonspec  >= 1.11.0 && < 1.12
+    , ogma-language-lustre    >= 1.11.0 && < 1.12
+    , ogma-language-smv       >= 1.11.0 && < 1.12
+    , ogma-language-xlsx      >= 1.11.0 && < 1.12
+    , ogma-language-xmlspec   >= 1.11.0 && < 1.12
+    , ogma-spec               >= 1.11.0 && < 1.12
 
   hs-source-dirs:
     src
diff --git a/src/Command/Diagram.hs b/src/Command/Diagram.hs
--- a/src/Command/Diagram.hs
+++ b/src/Command/Diagram.hs
@@ -406,7 +406,7 @@
 
     -- Elements of the spec.
     propExpr     = case mode of
-                     CheckState   -> "stateMachine1 == externalState"
+                     CheckState   -> "stateMachine1 /= externalState"
                      ComputeState -> "true"
                      CheckMoves   -> "true"
     initialState = minimum states
diff --git a/templates/diagram/Copilot.hs b/templates/diagram/Copilot.hs
--- a/templates/diagram/Copilot.hs
+++ b/templates/diagram/Copilot.hs
@@ -35,16 +35,17 @@
 stateMachineGF :: StateMachineGF -> Stream Word8
 stateMachineGF (initialState, finalState, noInputData, transitions, badState) = state
   where
-    state = [initialState] ++ ifThenElses transitions
+    state         = ifThenElses transitions
+    previousState = [initialState] ++ state
 
     ifThenElses :: [(Word8, Stream Bool, Word8)] -> Stream Word8
     ifThenElses [] =
-      ifThenElse (state == constant finalState && noInputData)
+      ifThenElse (previousState == constant finalState && noInputData)
         (constant finalState)
         (constant badState)
 
     ifThenElses ((s1,i,s2):ss) =
-      ifThenElse (state == constant s1 && i) (constant s2) (ifThenElses ss)
+      ifThenElse (previousState == constant s1 && i) (constant s2) (ifThenElses ss)
 
 -- | True when the given input stream does hold any of the values in the given
 -- list.